% This file was created with JabRef 2.5.
% Encoding: Cp1252

@STRING{cacm = {Comm. ACM}}

@STRING{computernetworks = {Computer Networks}}

@STRING{icwe = {Int. Conference on Web Engineering}}

@STRING{ijwet = {Inchet. Jour. of Web Engineering and Technology}}

@STRING{joop = {Jour. of Object-Oriented Programming}}

@STRING{jucs = {Jour. of Universal Computer Science}}

@STRING{lncs = {LNCS}}

@STRING{sosym = {Jour. on SOSYM (SoSyM)}}

@STRING{springer = {Springer-Verlag}}

@MISC{JB,
    author = {Jean Bézivin},
    title = {On the Unification Power of Models Jean Bézivin On the Unification Power of Models 1},
    year = {}
}


@inproceedings{W05,
    author = {Steven Witkop},
    title = {{MDA users' requirement for QVT transformations}},
    booktitle = {{OMG doc 05-02-04}},
    year = 2005,
    source = {available from www.omg.org}
}

@article{CK13,
  author    = {Glenn Callow and
               Roy Kalawsky},
  title     = {{A Satisficing Bi-Directional Model Transformation Engine
               using Mixed Integer Linear Programming}},
  journal   = {JOT},
  volume    = {12},
  number    = {1},
  year      = {2013},
  pages     = {1: 1-43},
  ee        = {http://dx.doi.org/10.5381/jot.2013.12.1.a1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{BCFGP10,
  author = {Davi M. J. Barbosa and Julien Cretin and Nate Foster and Michael
	Greenberg and Benjamin C. Pierce},
  title = {Matching lenses: alignment and view update},
  booktitle = {ICFP},
  year = {2010},
  pages = {193-204},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/icfp/2010},
  ee = {http://doi.acm.org/10.1145/1863543.1863572},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@ARTICLE{CDMT10,
  author = {Vittorio Cortellessa and Antinisca Di Marco and Catia Trubiani},
  title = {Performance Antipatterns as Logical Predicates},
  year = {2010},
  pages = {146--156},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ICECCS},
  crossref = {DBLP:conf/iceccs/2010},
  ee = {http://dx.doi.org/10.1109/ICECCS.2010.44}
}

@ARTICLE{DXC10,
  author = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki},
  title = {From State- to Delta-Based Bidirectional Model Transformations},
  year = {2010},
  pages = {61-76},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  booktitle = {ICMT},
  ee = {http://dx.doi.org/10.1007/978-3-642-13688-7_5}
}

@INPROCEEDINGS{K07,
  author = {Ivan Kurtev},
  title = {State of the Art of QVT: A Model Transformation Language Standard},
  booktitle = {AGTIVE},
  year = {2007},
  pages = {377-393},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/agtive/2007},
  ee = {http://dx.doi.org/10.1007/978-3-540-89020-1_26},
  owner = {Romina},
  timestamp = {2012.01.13}
}

@PROCEEDINGS{MVD06,
  title = {Detecting and Resolving Model Inconsistencies Using Transformation
	Dependency Analysis.},
  year = {2006},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {LNCS},
  publisher = {Springer},
  author = {Mens and Van Der Straeten and D'Hondt},
  booktitle = {MoDELS},
  crossref = {conf/models/2006},
  date = {2006-12-07},
  description = {dblp},
  ee = {http://dx.doi.org/10.1007/11880240_15},
  isbn = {3-540-45772-0},
  keywords = {dblp},
  pages = {200-214}
}

@INPROCEEDINGS{RMV06,
  author = {J. R. Romero and N. Moreno and A. Vallecillo},
  title = {{Modeling ODP Correspondences using QVT}},
  booktitle = {MDEIS},
  year = {2006},
  pages = {15-26},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  crossref = {DBLP:conf/mdeis/2006}
}

@ARTICLE{DK98,
  author = {A. {van Deursen} and P. Klint},
  title = {Little languages: little maintenance},
  journal = {Journal of Software Maintenance},
  year = {1998},
  volume = {10},
  pages = {75--92},
  number = {2},
  address = {New York, NY, USA},
  issn = {1040-550X},
  publisher = {John Wiley \& Sons, Inc.}
}

@MANUAL{Famoos,
  title = {{The FAMOOS Object-Oriented Reengineering Handbook}},
  author = {Holger B{\"a}r et al.},
  year = {1999},
  note = {\url{http://www.iam.unibe.ch/~famoos/handbook/4handbook.pdf}},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{Massimo,
  author = {kerholm, Mikael and Carlson, Jan and Fredriksson, Johan and Hansson,
	Hans and H{\aa}kansson, John and M\"{o}ller, Anders and Pettersson,
	Paul and Tivoli, Massimo},
  title = {The SAVE approach to component-based development of vehicular systems},
  journal = {J. Syst. Softw.},
  year = {2007},
  volume = {80},
  pages = {655--667},
  number = {5},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jss.2006.08.016},
  doi = {http://dx.doi.org/10.1016/j.jss.2006.08.016},
  issn = {0164-1212},
  publisher = {Elsevier Science Inc.}
}

@ARTICLE{AV95,
  author = {S. Abiteboul and V. Vianu},
  title = {{Computing with First-Order Logic}},
  journal = {Jour. of Computer and System Sciences},
  year = {1995},
  volume = {50},
  pages = {309-335},
  number = {2}
}

@ARTICLE{GREAT,
  author = {A. Agrawal and G. Karsai and Z. Kalmar and S. Neema and F. Shi and
	Vizhanyo, A.},
  title = {{The Design of a Language for Model Transformations}},
  journal = {Journal of Software and System Modeling},
  year = {2005}
}

@ARTICLE{ANRS06,
  author = {Aizenbud-Reshef, N. and Nolan, B. T. and Rubin, J. and Shaham-Gafni,
	Y.},
  title = {Model traceability},
  journal = {IBM Syst. J.},
  year = {2006},
  volume = {45},
  pages = {515--526},
  number = {3},
  month = {July},
  date-added = {2012-02-17 10:20:20 +0100},
  date-modified = {2012-02-17 10:24:56 +0100}
}

@INPROCEEDINGS{AK02,
  author = {D. H. Akehurst and S. Kent},
  title = {{A Relational Approach to Defining Transformations in a Metamodel}},
  booktitle = {Procs of the 5th Int. Conf. on The UML},
  year = {2002},
  pages = {243--258},
  publisher = Springer
}

@UNPUBLISHED{AKB02,
  author = {M. Aksit and I. Kurtev and J. B\'ezivin},
  title = {{Technological Spaces: an Initial Appraisal}},
  note = {International Federated Conf. (DOA, ODBASE, CoopIS), Industrial Track,
	Los Angeles},
  year = {2002},
  date-modified = {2010-10-20 08:38:26 +0200}
}

@ARTICLE{ALP07,
  author = {M. Alanen and T. Lundkvist and I. Porres},
  title = {Creating and reconciling diagrams after executing model transformations},
  journal = {Science of Computer Programming},
  year = {2007},
  volume = {68},
  pages = {155-178},
  number = {3},
  ee = {http://dx.doi.org/10.1016/j.scico.2007.05.002}
}

@ARTICLE{ALP05,
  author = {M. Alanen and T. Lundkvist and I. Porres},
  title = {{Comparison of Modeling Frameworks for Software Engineering}},
  journal = {Nordic Journal of Computing},
  year = {2005},
  volume = {12},
  pages = {321-342},
  number = {4}
}

@INPROCEEDINGS{AP03,
  author = {Alanen, M. and Porres, I.},
  title = {{Difference and Union of Models}},
  booktitle = {UML 2003 - The Unified Modeling Language},
  year = {2003},
  volume = {2863},
  series = LNCS,
  pages = {2-17},
  publisher = Springer,
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@ARTICLE{AG97,
  author = {R. Allen and D. Garlan},
  title = {{A Formal Basis for Architectural Connection}},
  journal = {{ACM Trans. on Software Engineering and Methodology}},
  year = {July 1997},
  volume = {6},
  pages = {213-249},
  number = {3},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{ABSK07,
  author = {K. Altmanninger and A. Bergmayr and W. Schwinger and G. Kotsis},
  title = {{Semantically Enhanced Conflict Detection between Model Versions
	in SMoVer by Example}},
  booktitle = {Procs of the Int. Workshop on Semantic-Based Software Development
	at OOPSLA 2007, Montr?al, Canada},
  year = {2007},
  month = {October},
  note = {to appear},
  owner = {Antonio},
  timestamp = {2008.01.15}
}

@BOOK{ACM03,
  title = {{Core J2EE Patterns}},
  publisher = {Sun Microsystems Press (Prentice Hall)},
  year = {2003},
  author = {D. Alur and J. Crupi and D. Malks},
  edition = {{2nd}}
}

@MISC{ANDROMDA,
  author = {{AndroMDA Team}},
  title = {{AndroMDA Tool}},
  year = {2006},
  note = {http://www.andromda.org},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{XASM,
  author = {M. Anlauff},
  title = {{{XASM -- An Extensible, Component-Based Abstract State Machines
	Language}}},
  booktitle = {{Abstract State Machines: Theory and Applications}},
  year = {2000},
  volume = {1912},
  series = LNCS,
  pages = {69--90},
  publisher = {Springer-Verlag}
}

@MISC{XASMWebPage,
  author = {M. Anlauff and P.W. Kutter},
  title = {{The XASM open source project}},
  year = {2002},
  note = {http://www.xasm.org.}
}

@MISC{QVTP,
  author = {B. K. Appukuttan and T. Clark and A. Evans and G. Maskeri and S.
	Reddy and P. Sammut and L. Tratt and R. Venkatesh and J. S. Willans},
  title = {{QVT-Partners revised submission to QVT RFP}},
  month = {August},
  year = {2003},
  note = {OMG document, ad/03-08-08}
}

@BOOK{A96,
  title = {Software Change Impact Analysis},
  publisher = {IEEE Computer Society Press},
  year = {1996},
  author = {Robert S. Arnold},
  address = {Los Alamitos, CA, USA},
  isbn = {0818673842}
}

@ARTICLE{AK03,
  author = {C. Atkinson and T. K{\"u}hne},
  title = {{Aspect-Oriented Development with Stratified Frameworks.}},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {81-89},
  number = {1},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@MISC{ATLZOO,
  author = {{ATLAS Group}},
  title = {{ATL Transformations Zoo}},
  howpublished = {http://www.eclipse.org/m2m/atl/atlTransformations/},
  owner = {Antonio},
  timestamp = {2007.11.06}
}

@MISC{KM3ZOO,
  author = {{ATLAS Group}},
  title = {{The Atlantic Zoo}},
  howpublished = {http://www.eclipse.org/gmt/am3/ zoos/atlanticZoo/},
  owner = {Antonio},
  timestamp = {2007.11.06}
}

@MANUAL{ATLManual,
  title = {{ATL User Manual}},
  author = {{ATLAS group}},
  organization = {LINA \& INRIA},
  address = {Nantes},
  month = {Feb},
  year = {2006},
  note = {http://www.eclipse.org/m2m/atl/doc/ATL\_User\_Manual\%5Bv0.7\%5D.pdf},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@MISC{CellML,
  author = {{Auckland Bioengineering Institute at the University of Auckland}},
  title = {{CellML Model Repositories Project}},
  note = {http://www.cellml.org/wiki/CellMLModelRepositories},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{PSC2005,
  author = {M. Autili and P. Inverardi and P. Pelliccione},
  title = {{A Scenario Based Notation for Specifying Temporal Properties}},
  booktitle = {5th International Workshop on Scenarios and State Machines: Models,
	Algorithms and Tools (SCESM'06).},
  year = {Shanghai, China, May 27, 2006.},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{Borger02,
  author = {E. B\"{o}rger},
  title = {{The Origins and the Development of the ASM Method for High Level
	System Design and Analysis}},
  journal = JUCS,
  year = {2002},
  volume = {8},
  pages = {2--74},
  number = {1}
}

@INPROCEEDINGS{Borger99,
  author = {E. B\"{o}rger},
  title = {{High Level System Design and Analysis using Abstract State Machines}},
  booktitle = {Procs. FM-Trends 98, Current Trends in Applied Formal Methods},
  year = {1999},
  volume = {1641},
  series = LNCS,
  pages = {1?43},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{B95,
  author = {E. B\"{o}rger},
  title = {{Why Use Evolving Algebras for Hardware and Software Engineering?}},
  booktitle = {SOFSEM '95},
  year = {1995},
  volume = {1012},
  series = LNCS,
  pages = {236--271},
  publisher = Springer
}

@BOOK{BS03,
  title = {{Abstract State Machines - A Method for High-Level System Design
	and Analysis}},
  publisher = Springer,
  year = {2003},
  author = {E. B\"{o}rger and R. St\"{a}rk}
}

@ARTICLE{Bezivin05,
  author = {J. B\'ezivin},
  title = {{On the Unification Power of Models}},
  journal = SOSYM,
  year = {2005},
  volume = {4},
  pages = {171--188},
  number = {2},
  pmid = {1619-1366}
}

@INPROCEEDINGS{BG01,
  author = {J. B\'ezivin and O. Gerb\'e},
  title = {{Towards a Precise Definition of the {OMG/MDA} Framework}},
  booktitle = {Automated Software Engineering (ASE 2001)},
  year = {2001},
  pages = {273--282},
  address = {Los Alamitos CA},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{BJVModelWeaver04,
  author = {J. B\'ezivin and F. Jouault and P. Valduriez},
  title = {{First Experiments with a ModelWeaver}},
  booktitle = {19th Annual ACM Conference on Object-Oriented Programming, Systems,
	Languages, and Applications},
  year = {2004}
}

@ARTICLE{BV08,
  author = {Balogh, Zolt\'{a}n and Varr\'{o}, D\'{a}niel},
  title = {Model transformation by example using inductive logic programming},
  journal = {SOSYM},
  year = {2009},
  owner = {Romina}
}

@ARTICLE{BDMIS04,
  author = {Simonetta Balsamo and Antinisca Di Marco and Paola Inverardi and
	Marta Simeoni},
  title = {Model-Based Performance Prediction in Software Development: A Survey},
  journal = {IEEE Trans. Software Eng.},
  year = {2004},
  volume = {30},
  pages = {295--310},
  number = {5},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2004.9}
}

@ARTICLE{BDISS04,
  author = {S. Balsamo and A. Di Marco and P. Inverardi and M. Simeoni.},
  title = {{Model-based Performance Prediction in Software Development: A Survey.}},
  journal = {IEEE Transactions on Software Engineering.},
  year = {2004},
  volume = {30},
  pages = {295--310},
  number = {5},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@TECHREPORT{BCD95,
  author = {David T. Barnard and Gwen Clarke and Nicolas Duncan},
  title = {{Tree-to-tree Correction for Document Trees}},
  institution = {Departement of Computing and Information Science Queen's University
	Kingston, Ontario, Canada},
  year = {1995},
  month = {Jan},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{BT75,
  author = {Victor R. Basili and Albert J. Turner},
  title = {{Iterative Enhancement: A Practical Technique for Software Development}},
  journal = {IEEE Trans. Software Eng.},
  year = {1975},
  volume = {1},
  pages = {390-396},
  number = {4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{BSR04,
  author = {D.S. Batory and J.N. Sarvela and A. Rauschmayer},
  title = {{Scaling Step-Wise Refinement}},
  journal = {IEEE Trans. Software Eng.},
  year = {2004},
  volume = {30},
  pages = {355-371},
  number = {6}
}

@ARTICLE{BHLW07,
  author = {Simon M. Becker and Sebastian Herold and Sebastian Lohmann and Bernhard
	Westfechtel},
  title = {A graph-based algorithm for consistency maintenance in incremental
	and interactive integration tools},
  journal = {Software and System Modeling},
  year = {2007},
  volume = {6},
  pages = {287-315},
  number = {3},
  ee = {http://dx.doi.org/10.1007/s10270-006-0045-5}
}

@INPROCEEDINGS{BM95,
  author = {J. A. Bergstra and C. A. Middelburg},
  title = {{Process Algebra Semantics of SDL}},
  booktitle = {Proc.\ 2nd Workshop on Algebra of Communicating Processes},
  year = {1995}
}

@INPROCEEDINGS{Bernstein03,
  author = {P.A. Bernstein},
  title = {{Applying Model Management to Classical Meta Data Problems}},
  booktitle = {Proceedings of the 1st Biennial Conference on Innovative Data Systems
	Research (CIDR), Asilomar, CA, USA, January 5-8, 2003},
  year = {2003},
  ee = {http://www-db.cs.wisc.edu/cidr/cidr2003/program/p19.pdf}
}

@INPROCEEDINGS{PNML,
  author = {Jonathan Billington and S{\o}ren Christensen and Kees M. van Hee
	and Ekkart Kindler and Olaf Kummer and Laure Petrucci and Reinier
	Post and Christian Stehno and Michael Weber},
  title = {{The Petri Net Markup Language: Concepts, Technology, and Tools}},
  booktitle = {ICATPN},
  year = {2003},
  editor = {{W.M.P. van der} Aalst and E. Best},
  volume = {2679},
  series = lncs,
  pages = {483-505},
  publisher = springer
}

@ARTICLE{BHR95,
  author = {David Binkley and Susan Horwitz and Thomas Reps},
  title = {Program integration for languages with procedure calls},
  journal = {ACM Transactions on Software Engineering and Methodology},
  year = {1995},
  volume = {4},
  pages = {3--35},
  number = {1},
  address = {New York, NY, USA},
  issn = {1049-331X},
  owner = {Antonio},
  publisher = {ACM Press},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{BPV06,
  author = {Aaron Bohannon and Benjamin C. Pierce and Jeffrey A. Vaughan},
  title = {Relational lenses: a language for updatable views},
  booktitle = {Proc. of PODS'2006},
  year = {2006},
  pages = {338--347},
  publisher = {ACM},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{BCFM01,
  author = {Bongio, Aldo and Ceri, Stefano and Fraternali, Piero and Maurino,
	Andrea},
  title = {Modeling Data Entry and Operations in WebML},
  booktitle = {Selected papers from the Third International Workshop WebDB 2000
	on The World Wide Web and Databases},
  year = {2001},
  pages = {201--214},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-41826-1}
}

@INPROCEEDINGS{BC06,
  author = {U.D. Bordoloi and S. Chakraborty},
  title = {{Interactive Schedulability Analysis}},
  booktitle = {RTAS '06: Procs. of the 12th IEEE Real-Time and Embedded Technology
	and Applications Symposium (RTAS'06)},
  year = {2006},
  pages = {147--156},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@MISC{BTogether,
  author = {{Borland Software Corporation}},
  title = {{Borland Together 2006}},
  note = {http://www.borland.com/us/products/together/index.html/},
  owner = {Antonio},
  timestamp = {2007.10.11}
}

@INPROCEEDINGS{BPPPT06,
  author = {P. Bottoni and F. Parisi-Presicce and S. Pulcini and G. Taentzer},
  title = {Maintaining coherence between models with distributed rules: from
	theory to Eclipse},
  booktitle = {Procs of the Int. Workshop on Graph Transformation and Visual Modeling
	Techniques (GT-VMT '06), ENTCS, Vienna (Austria)},
  year = {2006},
  pages = {81--92},
  publisher = {Elsevier Science}
}

@INPROCEEDINGS{BDB03,
  author = {Boulila, Naoufel and Dutoit, Allen H. and Bruegge, Bernd},
  title = {{D-Meeting: an Object-Oriented Framework for Supporting Distributed
	Modelling of Software}},
  booktitle = {International Workshop on Global Software Development},
  year = {2003},
  month = May,
  bdsk-url-1 = {http://GSD2003.cs.uvic.ca/},
  day = {9},
  location = {Portland, Oregon},
  owner = {Antonio},
  timestamp = {2007.10.17},
  url = {http://GSD2003.cs.uvic.ca/}
}

@PHDTHESIS{BraunThesis,
  author = {Andreas Braun},
  title = {{A Software Architecture for Knowledge Acquisition and Retrieval
	for Global Software Development Teams}},
  school = {{Tech. Univer. Munchen, Institut Fur Inf.}},
  year = {2004},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@TECHREPORT{BM03,
  author = {P. Braun and F. Marschall},
  title = {{Botl - The Bidirectional Object Oriented Transformation Language}},
  institution = {Institut f\"{u}r Informatik der Technischen Universit\"{a}t M\"{u}nchen},
  year = {2003},
  month = {May},
  note = {TUM-I0307},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{BV04,
  author = {M. Bravenboer and E. Visser},
  title = {{Concrete Syntax for Objects. Domain-Specific Language Embedding
	and Assimilation without Restrictions}},
  booktitle = {Procs of the 19th ACM SIGPLAN Conf. on Object-Oriented Programing,
	Systems, Languages, and Applications (OOPSLA'04)},
  year = {2004},
  editor = {Douglas C. Schmidt},
  pages = {365--383},
  address = {Vancouver, Canada},
  month = {October},
  publisher = {ACM Press}
}

@MISC{BG00,
  author = {D. Brickley and R.V. Guha},
  title = {{Resource Description Framework (RDF) Schema Specification 2.0}},
  year = {2000},
  note = {{Technical report, W3C}}
}

@INPROCEEDINGS{Sysiphus06,
  author = {Bernd Bruegge and Allen H. Dutoit and Timo Wolf},
  title = {{Sysiphus: Enabling informal collaboration in global software development}},
  booktitle = {Proceedings of the ICGSE'06},
  year = {2006},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{BP08,
  author = {C. Brun and A. Pierantonio},
  title = {{Model Differences in the Eclipse Modeling Framework}},
  journal = {Upgrade, Special Issue on Model-Driven Software Development},
  year = {2008},
  month = {April-May}
}

@INPROCEEDINGS{Buchi60,
  author = {R. Buchi},
  title = {{On a Decision Method in Restricted Second Order Arithmetic}},
  booktitle = {{Proc. of the Int. Congress of Logic, Methodology and Philosophy
	of Science}},
  year = {1960},
  editor = {Standford University Press},
  pages = {1-11},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{BMZRK05,
  author = {Jim Buckley and Tom Mens and Matthias Zenger and Awais Rashid and
	G\"{u}nter Kniesel},
  title = {{Towards a taxonomy of software change}},
  journal = {J. Softw. Maint. Evol.},
  year = {2005},
  volume = {17},
  pages = {309--332},
  number = {5},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1002/smr.v17:5},
  doi = {http://dx.doi.org/10.1002/smr.v17:5},
  issn = {1532-060X},
  publisher = {John Wiley \& Sons, Inc.}
}

@BOOK{EMF,
  title = {{Eclipse Modeling Framework}},
  publisher = {Addison Wesley},
  year = {2003},
  author = {F. Budinsky and D. Steinberg and E. Merks and R. Ellersick and T.J.
	Grose}
}

@INPROCEEDINGS{BS00,
  author = {E. B{\"o}rger and J. Schmid},
  title = {{Composition and Submachine Concepts for Sequential ASMs}},
  booktitle = {Computer Science Logic, 14th Annual Conference of the {EACSL}, Fischbachau,
	Germany, August 21-26, 2000, Proceedings},
  year = {2000},
  editor = {Peter Clote and Helmut Schwichtenberg},
  volume = {1862},
  series = LNCS,
  pages = {41--60},
  publisher = {Springer}
}

@INPROCEEDINGS{BBFGJKKP06,
  author = {J. B{\'e}zivin and S. Bouzitouna and M. Didonet Del Fabro and M.-P.
	Gervais and F. Jouault and D.S. Kolovos and I. Kurtev and R.F. Paige},
  title = {{A Canonical Scheme for Model Composition}},
  booktitle = {Procs of the 2nd European Conference on Model Driven Architecture
	- Foundations and Applications, (ECMDA-FA 2006), Bilbao (Spain)},
  year = {2006},
  editor = {Arend Rensink and Jos Warmer},
  volume = {4066},
  series = {LNCS},
  pages = {346-360},
  publisher = {Springer},
  isbn = {3-540-35909-5}
}

@INPROCEEDINGS{BBJK05,
  author = {Jean B{\'e}zivin and Hugo Bruneli{\`e}re and Fr{\'e}d{\'e}ric Jouault
	and Ivan Kurtev},
  title = {{Model Engineering Support for Tool Interoperability}},
  booktitle = {Procs of WiSME},
  year = {2005},
  address = {Montego Bay, Jamaica}
}

@INPROCEEDINGS{BBGJKL06,
  author = {Jean B{\'e}zivin and Fabian B{\"u}ttner and Martin Gogolla and Fr{\'e}d{\'e}ric
	Jouault and Ivan Kurtev and Arne Lindow},
  title = {{Model Transformations? Transformation Models!}},
  booktitle = {MoDELS: Model Driven Engineering Languages and Systems, 9th International
	Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings},
  year = {2006},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {LNCS},
  pages = {440-453},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/11880240_31},
  isbn = {3-540-45772-0}
}

@INPROCEEDINGS{GraMoT05,
  author = {Jean B{\'e}zivin and Fr{\'e}d{\'e}ric Jouault},
  title = {{Using ATL for Checking Models}},
  booktitle = {Proceedings of the International Workshop on Graph and Model Transformation
	(GraMoT)},
  year = {2005},
  address = {Tallinn, Estonia}
}

@INPROCEEDINGS{AMMA,
  author = {J. B{\'e}zivin and F. Jouault and P. Rosenthal and P. Valduriez},
  title = {{Modeling in the Large and Modeling in the Small}},
  booktitle = {Procs of  European MDA Workshops},
  year = {2004},
  volume = {3599},
  series = LNCS,
  pages = {33-46},
  publisher = {Springer}
}

@INPROCEEDINGS{BJVMegamodels04,
  author = {Jean B{\'e}zivin and Fr{\'e}d{\'e}ric Jouault and Patrick Valduriez},
  title = {{On the Need for Megamodels}},
  booktitle = {Procs of the OOPSLA/GPCE: Best Practices for Model-Driven Software
	Development workshop},
  year = {2004}
}

@MISC{BRST05,
  author = {J. B{\'e}zivin and B. Rumpe and S. Sch{\"u}rr and L. Tratt},
  title = {{Model Transformation in Practice Workshop Announcement}},
  year = {2005},
  note = {{htt://sosym.dcs.kcl.ac.uk/events/mtip}}
}

@INPROCEEDINGS{CG01,
  author = {C. Cachero and J. G\'omez and A. P\'arraga and O. Pastor},
  title = {{Conference Review System: A Case of Study}},
  booktitle = {First Int. Workshop on Web-Oriented Software Technology},
  year = {2001}
}

@MISC{DLV-Complex,
  author = {F. Calimeri and S. Cozza and G. Ianni and N. Leone},
  title = {DLV-Complex homepage},
  year = {2008},
  note = {DLV-Complex homepage},
  owner = {Romina}
}

@INPROCEEDINGS{CDIPP05,
  author = {M. Caporuscio and D. {Di Ruscio} and P. Inverardi and P. Pelliccione
	and A. Pierantonio},
  title = {{Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based
	Applications}},
  booktitle = {EWSA 05},
  year = {2005},
  volume = {3527},
  series = LNCS,
  pages = {475--490},
  publisher = Springer
}

@INPROCEEDINGS{ICSE04,
  author = {M. Caporuscio and P. Inverardi and P. Pelliccione},
  title = {{Compositional Verification of Middleware-Based Software Architecture
	descriptions}},
  booktitle = {Proceedings of the International Conference on Software Engineering
	(ICSE 2004)},
  year = {2004.},
  address = {Edinburgh}
}

@MISC{SDO,
  author = {M. Carey},
  title = {{Data Delivery in a Service Oriented World: The BEA AquaLogic Data
	Services Platform}}
}

@INPROCEEDINGS{EMFSDO,
  author = {Michael Carey},
  title = {{Data delivery in a service-oriented world: the BEA aquaLogic data
	services platform}},
  booktitle = {Proceedings of the ACM SIGMOD'06},
  year = {2006},
  pages = {695--705},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1142473.1142551},
  doi = {http://doi.acm.org/10.1145/1142473.1142551},
  isbn = {1-59593-434-0},
  location = {Chicago, IL, USA},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{CCPP09,
  author = {F. Casati and S. Ceri and S. Paraboschi and G. Pozzi},
  title = {{Specification and Implementation of Exceptions in Workflow Management
	Systems}},
  journal = {ACM Transations on Database Systems},
  year = {1999},
  volume = {24},
  pages = {405--451},
  number = {3},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@PHDTHESIS{G01,
  author = {G. Del Castillo},
  title = {{The ASM Workbench. A Tool Environment for Computer-Aided Analysis
	and Validation of Abstract State Machine Models}},
  school = {Universitat Paderborn},
  year = {2001}
}

@ARTICLE{CDMF07,
  author = {S. Ceri and F. Daniel and M. Matera and F.M. Facca},
  title = {{Model-driven development of context-aware Web applications}},
  journal = {ACM Trans. Interet Technol.},
  year = {2007},
  volume = {7},
  number = {1}
}

@ARTICLE{CFB00,
  author = {S. Ceri and P. Fraternali and A. Bongio},
  title = {{Web Modeling Language (WebML): a Modeling Language for Designing
	Web sites}},
  journal = ComputerNetworks,
  year = {2000},
  volume = {33},
  pages = {137--157},
  number = {1--6}
}

@UNPUBLISHED{CFMM01,
  author = {S. Ceri and P. Fraternali and M. Matera and A. Maurino},
  title = {{Designing Multi-Role, Collaborative Web Sites with WebML: a Conference
	Management System Case Study}},
  note = {{IWWOST, Valencia, Spain}},
  month = {June},
  year = {2001}
}

@ARTICLE{CHKRT01,
  author = {N. Chapin and J.E. Hale and K.Md. Kham and J.F. Ramil and W.-G. Tan},
  title = {Types of software evolution and software maintenance},
  journal = {Journal of Software Maintenance},
  year = {2001},
  volume = {13},
  pages = {3--30},
  number = {1},
  address = {New York, NY, USA},
  issn = {1040-550X},
  publisher = {John Wiley \& Sons, Inc.}
}

@BOOK{CRGMW96,
  title = {{Change Detection in Hierarchically Structured Information}},
  year = {1996},
  author = {S. S. Chawathe and A. Rajaraman and H. Garcia-Molina and J. Widom},
  pages = {493--504},
  booktitle = {Proc. ACM SIGMOD Int. Conference on Management of Data},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{CSAJ05,
  author = {K. Chen and J. Sztipanovits and S. Abdelwalhed and E. Jackson},
  title = {{Semantic Anchoring with Model Transformations}},
  booktitle = {ECMDA-FA},
  year = {2005},
  volume = {3748},
  series = LNCS,
  pages = {115--129},
  month = {Oct},
  publisher = Springer
}

@INPROCEEDINGS{CSN05,
  author = {K. Chen and J. Sztipanovits and S. Neema},
  title = {Toward a semantic anchoring infrastructure for domain-specific modeling
	languages},
  booktitle = {Procs of the 5th ACM Int. Conference on Embedded software (EMSOFT
	'05), Jersey City, NJ (USA)},
  year = {2005},
  pages = {35--43},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  isbn = {1-59593-091-4},
  location = {Jersey City, NJ, USA}
}

@ARTICLE{C76,
  author = {P. Chen},
  title = {{The Entity-Relationship Model - Toward a Unified View of Data}},
  journal = {ACM Transactions on Database Systems},
  year = {1976},
  volume = {1},
  pages = {9--36},
  number = {1},
  keyword = {specification, design}
}

@INPROCEEDINGS{CDHV00,
  author = {Yih-Farn Chen and Fred Douglis and Huale Huang and Kiem-Phong Vo},
  title = {{TopBlend: An Efficient Implementation of HtmlDiff in Java.}},
  booktitle = {Proceedings of WebNet 2000 - World Conference on the WWW and Internet,
	San Antonio, Texas, USA},
  year = {2000},
  editor = {Gordon Davies and Charles B. Owen},
  pages = {88-94},
  publisher = {AACE},
  isbn = {1-880094-40-1},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INBOOK{CTZ01,
  pages = {184-200},
  title = {{Version Management of XML Documents}},
  publisher = {Springer},
  year = {2001},
  author = {S.-Y. Chien and V. J. Tsotras and C. Zaniolo},
  volume = {1997},
  series = {LNCS},
  booktitle = {{The World Wide Web and Databases: Third International Workshop WebDB
	2000. Selected Papers}},
  owner = {Antonio},
  timestamp = {2007.12.06}
}

@INPROCEEDINGS{CDP08,
  author = {Cicchetti and Di Ruscio and Pierantonio},
  title = {{Managing Model Conflicts in Distributed Development}},
  booktitle = {MoDELS '08: Proceedings of the 11th international conference on Model
	Driven Engineering Languages and Systems},
  year = {2008},
  pages = {311--325},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87875-9_23},
  doi = {http://dx.doi.org/10.1007/978-3-540-87875-9_23},
  isbn = {978-3-540-87874-2},
  location = {Toulouse, France}
}

@PHDTHESIS{Cicchetti08,
  author = {A. Cicchetti},
  title = {{Difference Representation and Conflict Management in Model-Driven
	Engineering}},
  school = {{University of L'Aquila, Computer Science Dept.}},
  year = {2008}
}

@MISC{CicchettiThesisImpl07,
  author = {A. Cicchetti},
  title = {{ATL Implementation of evolution in MDE}},
  howpublished = {http://www.di.univaq.it/cicchetti/phdThesisImplementation.php},
  year = {2007},
  owner = {Antonio},
  timestamp = {2007.11.14}
}

@INPROCEEDINGS{CDEP10,
  author = {Cicchetti, Antonio and Di Ruscio, Davide and Eramo, Romina and Pierantonio,
	Alfonso},
  title = {{JTL: a bidirectional and change propagating transformation language}},
  booktitle = {SLE10},
  year = {2010},
  %series = {LNCS 6563},
  pages = {183-202},
  publisher = {Springer}
}

@ARTICLE{BCSOSYM,
  author = {Cicchetti, Antonio and Di Ruscio, Davide and Iovino, Ludovico and
	Pierantonio, Alfonso},
  title = {Managing the evolution of data-intensive Web applications by model-driven
	techniques},
  journal = {SOSYM},
  pages = {1-31},
  note = {10.1007/s10270-011-0193-0},
  affiliation = {MRTC Research Centre at the M{\"a}lardalen University, M{\"a}lardalen
	h{\"o}gskola, BOX 883, 72123 V{\"a}ster{\aa}s, Sweden},
  bdsk-url-1 = {http://dx.doi.org/10.1007/s10270-011-0193-0},
  date-modified = {2011-10-04 15:14:39 +0000},
  issn = {1619-1366},
  keyword = {Computer Science},
  publisher = {Springer Berlin / Heidelberg},
  url = {http://dx.doi.org/10.1007/s10270-011-0193-0}
}

@ARTICLE{CD08,
  author = {A. Cicchetti and D. {Di Ruscio}},
  title = {{Decoupling Web Application Concerns through Weaving Operations}},
  journal = {Science of Computer Programming},
  year = {2008},
  volume = {70},
  pages = {62-86},
  number = {1},
  editor = {Elsevier}
}

@ARTICLE{CDE06,
  author = {A. Cicchetti and D. {Di Ruscio} and R. Eramo},
  title = {{Towards Propagation of Changes by Model Approximations}},
  journal = {10th IEEE Int. Enterprise Distributed Object Computing Conf. Workshops
	(EDOCW'06)},
  year = {2006},
  volume = {0},
  pages = {24},
  address = {Los Alamitos, CA, USA},
  owner = {Antonio},
  publisher = {IEEE Computer Society},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{CDEP08,
  author = {A. Cicchetti and D. {Di Ruscio} and R. Eramo and A. Pierantonio},
  title = {{Model Differences for Supporting Model Co-evolution}},
  booktitle = {{Procs. MoDSE, 2nd Workshop on Model-Driven Software Evolution}},
  year = {2008},
  note = {To appear}
}

@INPROCEEDINGS{CDEP08-2,
  author = {A. Cicchetti and D. {Di Ruscio} and R. Eramo and A. Pierantonio},
  title = {Automating Co-evolution in Model-Driven Engineering},
  booktitle = {12th International IEEE Enterprise Distributed Object Computing Conference,
	ECOC 2008, 15-19 September 2008, Munich, Germany},
  year = {2008},
  pages = {222-231},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3373-5}
}

@MISC{EDOCIMPL,
  author = {A. Cicchetti and D. {Di Ruscio} and R. Eramo and A. Pierantonio},
  title = {Implementation of an automated co-evolution of models through ATL
	higher-order transformations.},
  howpublished = {http://www.di.univaq.it/diruscio/CoevImpl.php},
  year = {2008},
  owner = {Antonio},
  timestamp = {2008.04.29}
}

@INPROCEEDINGS{CDP09,
  author = {A. Cicchetti and Davide {Di Ruscio} and Alfonso Pierantonio},
  title = {Managing dependent changes in coupled evolution},
  booktitle = {Proc. 2nd International Conference on Model Transformation (ICMT'09)},
  year = {2009},
  editor = {Richard F. Paige},
  volume = {5563},
  series = {LNCS},
  pages = {35-51},
  address = {Zurich, Switzerland},
  publisher = {Springer},
  owner = {Davide},
  timestamp = {2009.04.01}
}

@INPROCEEDINGS{CDP06,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{Weaving Concerns in Model Based Development of Data-Intensive Web
	Applications}},
  booktitle = {Procs of the ACM Symposium on Applied Computing (SAC '06), Model
	Transformation track},
  year = {2006},
  editor = {ACM Press},
  pages = {1256-1261}
}

@MISC{TOOLSIMPL,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{ATL Use Case - A Metamodel Independent Approach to Difference Representation}},
  howpublished = {\url{http://www.eclipse.org/m2m/atl/usecases/MMIndApproachtoDiffRep/}},
  month = {February},
  year = {2008},
  owner = {Antonio},
  timestamp = {2007.11.07}
}

@ARTICLE{CDP07,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{A Metamodel Independent Approach to Difference Representation}},
  journal = {Journal of Object Technology},
  year = {2007},
  volume = {6},
  pages = {165--185},
  number = {9},
  month = {October},
  booktitle = {Special Issue: TOOLS EUROPE 2007}
}

@TECHREPORT{PETRINETTR,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{Applying an Approach to Difference Representation to the PetriNet
	Metamodel}},
  institution = {Dipartimento di Informatica, Universit\`a di L'Aquila},
  year = {2007},
  owner = {Antonio},
  timestamp = {2007.11.07}
}

@INPROCEEDINGS{CDPCMT06,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{Composition of Model Differences}},
  booktitle = {Procs. of the ECMDA-FA 1st Int. Workshop on Composition of Model
	Transformations, (CMT), Bilbao (Spain)},
  year = {2006},
  number = {TR-CTIT-06-34},
  series = {CTIT Technical Reports}
}

@TECHREPORT{CDPDSMLDiffTR06,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Pierantonio},
  title = {{A Domain-Specific Modeling Language for Model Differences}},
  institution = {Dipartimento di Informatica, Universit\`a di L'Aquila},
  year = {2006},
  owner = {Antonio},
  timestamp = {2007.10.29}
}

@INPROCEEDINGS{CDD07,
  author = {A. Cicchetti and D. {Di Ruscio} and A. Di Salle},
  title = {{Software customization in model driven development of web applications}},
  booktitle = {Procs of the ACM symposium on Applied computing (SAC '07), Model
	Transformation track},
  year = {2007},
  pages = {1025--1030},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1244002.1244224},
  doi = {http://doi.acm.org/10.1145/1244002.1244224},
  isbn = {1-59593-480-4},
  location = {Seoul, Korea}
}

@INPROCEEDINGS{CR07,
  author = {A. Cicchetti and A. Rossini},
  title = {{Weaving models in conflict detection specifications}},
  booktitle = {Procs of the ACM Symposium on Applied Computing (SAC '07), Model
	Transformation track},
  year = {2007},
  pages = {1035--1036},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1244002.1244227},
  doi = {http://doi.acm.org/10.1145/1244002.1244227},
  isbn = {1-59593-480-4},
  location = {Seoul, Korea}
}

@INPROCEEDINGS{CDEMP09,
  author = {A. Cicchetti and D. Di Ruscio and R. Eramo and F. Maccarrone and
	A. Pierantonio},
  title = {{beContent: A Model-Driven Platform for Designing and Maintaining
	Web Applications}},
  booktitle = {Procs. of the 9th International Conference on Web Engineering, ICWE
	2009, San Sebasti{\'a}n, Spain, June 24-26},
  year = {2009},
  volume = {5648},
  series = {LNCS},
  pages = {518-522},
  publisher = {Springer}
}

@TECHREPORT{CDEMPTC09,
  author = {A. Cicchetti and D. Di Ruscio and R. Eramo and F. Maccarrone and
	A. Pierantonio},
  title = {beContent: a model-driven platform for designing and maintaining
	Web applications},
  institution = {Dipartimento di Informatica, Universit\`a degli Studi dell'Aquila},
  year = {2009},
  owner = {Alfonso},
  timestamp = {2009.03.27}
}

@BOOK{MCbook,
  title = {{Model Checking}},
  publisher = {The MIT Press},
  year = {2001},
  author = {E. M. Clarke and O. Grumberg and D. A. Peled}
}

@ARTICLE{MAUDE,
  author = {Manuel Clavel and Steven Eker and Patrick Lincoln},
  title = {Maude: specification and programming in rewriting logic},
  journal = {Theoretical Computer Science},
  year = {1999},
  volume = {285},
  pages = {2002}
}

@INPROCEEDINGS{CK07,
  author = {T. Cleenewerck and I. Kurtev},
  title = {Separation of concerns in translational semantics for {DSL}s in model
	engineering},
  booktitle = {SAC '07: Proceedings of the 2007 ACM symposium on Applied computing},
  year = {2007},
  pages = {985--992},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1244002.1244218},
  doi = {http://doi.acm.org/10.1145/1244002.1244218},
  isbn = {1-59593-480-4},
  location = {Seoul, Korea}
}

@INPROCEEDINGS{CAM02,
  author = {Gregory Cobena and Serge Abiteboul and Am\'elie Marian},
  title = {{Detecting Changes in XML Documents}},
  booktitle = {{Proceedings of 18th Int. Conference on Data Engineering (ICDE'02)}},
  year = {2002},
  pages = {41-52},
  address = {Los Alamitos, CA, USA},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@BOOK{CSFP04,
  title = {{Version Control with Subversion. For Subversion 1.1}},
  publisher = {O'Reilly \& Associates, Inc.},
  year = {2004},
  author = {B. Collins-Sussman and B.W. Fitzpatrick and C.M. Pilato},
  note = {http://svnbook.red-bean.com/en/1.1/index.html},
  owner = {Antonio},
  timestamp = {2007.10.22}
}

@INPROCEEDINGS{CIW99,
  author = {Compare, D. and Inverardi, P. and Wolf, A.L.},
  title = {{Uncovering Architectural Mismatch in Dynamic Behavior}},
  booktitle = {Science of Computer Programming},
  year = {February 1999},
  pages = {33(2):101--131},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{xMOF,
  author = {{Compuware and Sun}},
  title = {{XMOF queries, views and transformations on models using MOF, OCL
	and patterns}},
  year = {2003},
  note = {{OMG Document ad/2003-08-07}}
}

@MISC{OPTIMALJ,
  author = {{Compuware Corporation}},
  title = {{OptimalJ - Model-driven Java development tool}},
  year = {2006},
  note = {http://www.compuware.com/products/optimalj},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@ARTICLE{C99,
  author = {J. Conallen},
  title = {{Modeling Web Application Architectures with UML}},
  journal = CACM,
  year = {1999},
  volume = {42},
  pages = {63--71},
  number = {10},
  keyword = {UML, WWW design}
}

@ARTICLE{CW98,
  author = {R. Conradi and B. Westfechtel},
  title = {{Version Models for Software Configuration Management}},
  journal = {ACM Computing Surveys},
  year = {1998},
  volume = {30},
  pages = {232-282},
  number = {2},
  owner = {Antonio},
  timestamp = {2007.11.06}
}

@INPROCEEDINGS{CDEPT10,
  author = {Cortellessa, Vittorio and Di Marco, Antinisca and Eramo, Romina and
	Pierantonio, Alfonso and Trubiani, Catia},
  title = {Digging into UML models to remove performance antipatterns},
  booktitle = {Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic
	Models in the Verification and Design of Software Systems},
  year = {2010},
  series = {QUOVADIS '10},
  pages = {9--16},
  location = {Cape Town, South Africa},
  numpages = {8},
  owner = {Romina},
  timestamp = {2012.01.23}
}

@TECHREPORT{DDPPZ10,
  author = {R. Di Cosmo and D. {Di Ruscio} and P. Pelliccione and A. Pierantonio
	and S. Zacchiroli},
  title = {Supporting Software Evolution in Component-Based FOSS Systems},
  institution = {Computer Science Department, University of L'Aquila},
  year = {2010},
  type = {Technical Report},
  number = {TRCS 003/2010},
  owner = {Davide},
  timestamp = {2010.05.10}
}

@INPROCEEDINGS{CBSE_duallySave,
  author = {Ivica Crnkovic and  Malavolta and Henry Muccini},
  title = {A Model-Driven Engineering Framework for Component Models Interoperability},
  booktitle = {Proceedings of the 12th International Symposium on Component-Based
	Software Engineering (CBSE 2009)},
  year = {2009},
  editor = {Christine Hofmeister, Grace A. Lewis, Iman Poernomo},
  month = {June},
  publisher = {Springer, LNCS 5582},
  owner = {Romina},
  timestamp = {2010.09.04}
}

@INPROCEEDINGS{CHMPPV02,
  author = {G. Csert{\'a}n and G. Huszerl and I. Majzik and Z. Pap and A. Pataricza
	and D. Varr{\'o}},
  title = {{VIATRA - Visual Automated Transformations for Formal Verification
	and Validation of UML Models}},
  booktitle = {Proc. ASE 2002: 17th IEEE Int. Conf. on Automated Software Engineering},
  year = {2002},
  pages = {267--270},
  address = {Edinburgh, UK},
  month = {September 23--27},
  publisher = {IEEE Press}
}

@INPROCEEDINGS{CM07,
  author = {J.S. Cuadrado and J.G. Molina},
  title = {A phasing mechanism for model transformation languages.},
  booktitle = {Procs. of the 22nd ACM SAC, MT 2007 - Model Transformation Track,
	Seoul (South Korea)},
  year = {2007},
  pages = {1020-1024},
  publisher = {ACM},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@ARTICLE{CMZ08,
  author = {Curino, C. A. and Moon, H.J. and Zaniolo, C.},
  title = {{Graceful database schema evolution: the PRISM workbench}},
  journal = {Proceedings of the VLDB Endowment},
  year = {2008},
  volume = {1},
  pages = {761--772},
  number = {1},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1453856.1453939},
  doi = {http://doi.acm.org/10.1145/1453856.1453939},
  issn = {2150-8097},
  publisher = {VLDB Endowment}
}

@MISC{CVS,
  author = {{CVS Project}},
  title = {{CVS web site}},
  howpublished = {\url{http://www.nongnu.org/cvs}},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{CFHLST09,
  author = {Krzysztof Czarnecki and J. Nathan Foster and Zhenjiang Hu and Ralf
	L{\"a}mmel and Andy Sch{\"u}rr and James F. Terwilliger},
  title = {{Bidirectional Transformations: A Cross-Discipline Perspective - GRACE
	meeting notes, state of the art, and outlook}},
  booktitle = {Procs. of ICMT2009},
  year = {2009},
  volume = {5563},
  series = {LNCS},
  pages = {260-283},
  publisher = {Springer}
}

@ARTICLE{CH06,
  author = {K. Czarnecki and S. Helsen},
  title = {{Feature-based Survey of Model Transformation Approaches}},
  journal = {{IBM Systems J.}},
  year = {2006},
  volume = {45},
  number = {3},
  month = {June}
}

@ARTICLE{DDMW00,
  author = {T. D'Hondt and K. De Volder and K. Mens and R. Wuyts},
  title = {Co-evolution of Object-Oriented Software Design and Implementation},
  year = {2001},
  pages = {207-224},
  month = {January},
  note = {Proceedings of SACT 2000},
  booktitle = {Software Architectures and Component Technology},
  editor = {Mehmet Aksit},
  isbn = {0792375769},
  publisher = {Kluwer Academic Publisher}
}

@INPROCEEDINGS{DMP06,
  author = {F. Daniel and M. Matera and G. Pozzi},
  title = {{Combining conceptual modeling and active rules for the design of
	adaptive web applications}},
  booktitle = {ICWE '06: Workshop procs. of the sixth Int. Conf. on Web Engineering},
  year = {2006},
  pages = {10},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  isbn = {1-59593-435-9},
  location = {Palo Alto, California},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{xmltools,
  author = {Dashofy, Eric M. and van der Hoek, Andr\'{e} and Taylor, Richard
	N.},
  title = {{An infrastructure for the rapid development of XML-based architecture
	description languages}},
  booktitle = {ICSE '02},
  year = {2002},
  pages = {266--276},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://portal.acm.org/citation.cfm?id=581339.581374},
  bdsk-url-2 = {http://dx.doi.org/10.1145/581339.581374},
  citeulike-article-id = {790534},
  doi = {10.1145/581339.581374},
  isbn = {158113472X},
  keywords = {architecture, language},
  owner = {Romina},
  priority = {0},
  timestamp = {2011.01.28},
  url = {http://portal.acm.org/citation.cfm?id=581339.581374}
}

@ARTICLE{extensibility,
  author = {Eric M. Dashofy and Andr\'{e} Van der Hoek and Richard N. Taylor},
  title = {{A Highly-Extensible, XML-Based Architecture Description Language}},
  year = {2001},
  booktitle = {WICSA'01},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{DFBJBG05,
  author = {M. D. {Del Fabro} and J. B\'ezivin and F. Jouault and E. Breton and
	G. Gueltas},
  title = {{AMW: a Generic Model Weaver}},
  booktitle = {Procs. of IDM05},
  year = {2005},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{DFV07,
  author = {M. D. {Del Fabro} and P. Valduriez},
  title = {{Semi-automatic Model Integration using Matching Transformations
	and Weaving Models}},
  booktitle = {The 22th Annual ACM SAC, MT 2007 - Model Transformation Track, Seoul
	(Korea)},
  year = {2007},
  pages = {963--970},
  address = {New York, NY, USA},
  publisher = {ACM}
}

@INPROCEEDINGS{DCBDEDV2011,
  author = {Denil, Joachim and Cicchetti, Antonio and Biehl, Matthias and De
	Meulenaere, Paul and Eramo, Romina and Demeyer, Serge and Vangheluwe,
	Hans},
  title = {{Automatic Deployment Space Exploration Using Refinement Transformations}},
  booktitle = {MPM Workshop at MODELS 2011},
  year = {2011},
  owner = {Romina},
  timestamp = {2012.01.23}
}

@ARTICLE{DKV,
  author = {Deursen and Klint and Visser},
  title = {Domain-specific languages: an annotated bibliography},
  journal = {SIGPLAN Not.},
  year = {2000},
  volume = {35},
  pages = {26--36},
  number = {6},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/352029.352035},
  doi = {http://doi.acm.org/10.1145/352029.352035},
  issn = {0362-1340},
  publisher = {ACM Press}
}

@INPROCEEDINGS{DVW07,
  author = {A. van Deursen and E. Visser and J. Warmer},
  title = {{Model-Driven Software Evolution: A Research Agenda}},
  booktitle = {Proceedings 1st International Workshop on Model-Driven Software Evolution
	(MoDSE)},
  year = {2007},
  editor = {Dalila Tamzalit},
  pages = {41--49},
  publisher = {University of Nantes},
  bdsk-url-1 = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-006.pdf},
  group = {SE},
  project = {MoDSE},
  url = {http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-006.pdf}
}

@INPROCEEDINGS{DIP11,
  author = {Di Ruscio, Davide and Iovino, Ludovico and Pierantonio, Alfonso},
  title = {What is needed for managing co-evolution in MDE?},
  booktitle = {Proceedings of the 2nd International Workshop on Model Comparison
	in Practice},
  year = {2011},
  pages = {30-38},
  publisher = {ACM},
  bdsk-url-1 = {http://dx.doi.org/10.1145/2000410.2000416},
  doi = {10.1145/2000410.2000416}
}

@INPROCEEDINGS{DLP10,
  author = {Di Ruscio, Davide and Laemmel, Ralf and Pierantonio, Alfonso},
  title = {Automated co-evolution of GMF editor models},
  booktitle = {3rd International Conference on Software Language Engineering (SLE
	2010)},
  year = {2010},
  editor = {Malloy, B. and Staab, S. and van den Brand, M.},
  number = {6563},
  series = {LNCS},
  pages = {143--162},
  month = oct,
  publisher = {Springer, Heidelberg},
  location = {Eindhoven, The Netherlands}
}

@INPROCEEDINGS{byADL2010,
  author = {Di Ruscio, Davide and Malavolta, Ivano and Muccini, Henry and Pelliccione,
	Patrizio and Pierantonio, Alfonso},
  title = {Developing next generation ADLs through MDE techniques},
  booktitle = {Proceedings of the 32nd ACM/IEEE International Conference on Software
	Engineering - Volume 1},
  year = {2010},
  pages = {85--94},
  address = {New York, NY, USA},
  month = may,
  publisher = {ACM},
  issn = {978-1-60558-719-6},
  location = {Cape Town, South Africa}
}

@PHDTHESIS{DiRuscio07,
  author = {Davide {Di Ruscio}},
  title = {{Specification of Model Transformation and Weaving in Model Driven
	Engineering}},
  school = {Universit? degli Studi dell'Aquila},
  year = {2007},
  month = {February},
  note = {http://www.di.univaq.it/diruscio/phdThesis.php},
  owner = {diruscio},
  timestamp = {2007.09.24}
}

@MISC{DiRuscio06,
  author = {D. {Di Ruscio}},
  title = {{A4MT-based Model Transformations}},
  year = {2006},
  note = {http://www.di.univaq.it/diruscio/a4mt.php},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@TECHREPORT{ATLSEM,
  author = {D. {Di Ruscio} and F. Jouault and I. Kurtev and J. B{\'e}zivin and
	A. Pierantonio},
  title = {{Extending AMMA for Supporting Dynamic Semantics Specifications of
	DSLs}},
  institution = {{Laboratoire d'Informatique de Nantes-Atlantique (LINA)}},
  year = {2006},
  number = {n. 06.02},
  month = {April}
}

@INPROCEEDINGS{DMPP06,
  author = {D. {Di Ruscio} and H. Muccini and P. Pelliccione and A. Pierantonio},
  title = {{Towards Weaving Software Architecture Models}},
  booktitle = {MBD/MOMPES Workhops within the ECBS},
  year = {2006},
  pages = {103-112},
  publisher = {IEEE}
}

@ARTICLE{IJWET04,
  author = {D. {Di Ruscio} and H. Muccini and A. Pierantonio},
  title = {{A Data Modeling Approach to Web Application Synthesis}},
  journal = IJWET,
  year = {2004},
  volume = {1},
  pages = {320--337},
  number = {3}
}

@INPROCEEDINGS{DP05,
  author = {D. {Di Ruscio} and A. Pierantonio},
  title = {{Model Transformations in the Development of Data--Intensive Web
	Applications}},
  booktitle = {CAISE '05},
  year = {2005},
  volume = {3520},
  series = LNCS,
  pages = {475--490},
  publisher = Springer
}

@INPROCEEDINGS{FBJV05,
  author = {M. {Didonet Del Fabro} and J. B{\'e}zivin and F. Jouault and P. Valduriez},
  title = {{Applying Generic Model Management to Data Mapping}},
  booktitle = {Procs 21{\`e}mes Journ{\'e}es Bases de Donn{\'e}es Avanc{\'e}es,
	{BDA} 2005, Saint Malo, Actes},
  year = {2005},
  editor = {V{\'e}ronique Benzaken}
}

@INPROCEEDINGS{AMW,
  author = {M. {Didonet Del Fabro} and J.Bezivin and F. Jouault and E. Breton
	and G.Gueltas},
  title = {{AMW}: {A} generic {M}odel {W}eaver},
  booktitle = {Int. Conf. on Software Engineering Research and Practice (SERP05)},
  year = {2005}
}

@ARTICLE{DXC11,
  author = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki},
  title = {From State- to Delta-Based Bidirectional Model Transformations: the
	Asymmetric Case},
  journal = {Journal of Object Technology},
  year = {2011},
  volume = {10},
  pages = {6: 1-25},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.5381/jot.2011.10.1.a6}
}

@ARTICLE{DLRZ08,
  author = {E. Dominguez and J. Lloret and A.L. Rubio and M.A. Zapata},
  title = {{MeDEA: A database evolution architecture with traceability}},
  journal = {Data \& Knowledge Engineering},
  year = {2008},
  volume = {65},
  pages = {419-441},
  number = {3},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.datak.2007.12.001},
  doi = {DOI: 10.1016/j.datak.2007.12.001},
  issn = {0169-023X}
}

@ARTICLE{EMFCompare,
  author = {{Eclipse Foundation}},
  title = {{EMF Compare}},
  year = {{2010}},
  note = {\url{http://www.eclipse.org/modeling/emft/?project=compare}}
}

@MISC{GEF,
  author = {{Eclipse project}},
  title = {{GEF - Graphical Editing Framework}},
  howpublished = {http://www.eclipse.org/gef/}
}

@MISC{GMF,
  author = {{Eclipse project}},
  title = {{GMF - Graphical Modeling Framework}},
  howpublished = {\url{http:// www.eclipse.org/gmf/}}
}

@MISC{EMP,
  author = {{Eclipse}},
  title = {{Generative Modeling Technologies (GMT) project}},
  year = {2006},
  note = {http://www.eclipse.org/gmt/}
}

@INPROCEEDINGS{EdwardsM08,
  author = {George Edwards and Nenad Medvidovic},
  title = {A Methodology and Framework for Creating Domain-Specific Development
	Infrastructures},
  booktitle = {ASE'08},
  year = {2008},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@CONFERENCE{XTEXT,
  author = {Sven Efftinge and Markus Voelter},
  title = {oAW xText - A framework for textual DSLs},
  year = {2006},
  publisher = {Eclipse Summit 2006},
  date-added = {2011-03-30 12:37:31 +0200},
  date-modified = {2011-03-30 12:40:47 +0200}
}

@PROCEEDINGS{E07,
  title = {Fixing Inconsistencies in UML Design Models},
  year = {2007},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  author = {Egyed},
  bdsk-url-1 = {http://dx.doi.org/10.1109/ICSE.2007.38},
  booktitle = {ICSE '07: Proceedings of the 29th international conference on Software
	Engineering},
  doi = {http://dx.doi.org/10.1109/ICSE.2007.38},
  isbn = {0-7695-2828-7},
  pages = {292--301}
}

@PROCEEDINGS{E06,
  title = {{Instant consistency checking for the UML}},
  year = {2006},
  address = {New York, NY, USA},
  publisher = {ACM},
  author = {Egyed},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1134285.1134339},
  booktitle = {ICSE '06: Proceedings of the 28th international conference on Software
	engineering},
  doi = {http://doi.acm.org/10.1145/1134285.1134339},
  isbn = {1-59593-375-1},
  location = {Shanghai, China},
  pages = {381--390}
}

@INPROCEEDINGS{Egyed07,
  author = {Alexander Egyed},
  title = {{Fixing Inconsistencies in UML Design Models}},
  booktitle = {Procs. of the 29th Int. Conf. on Software Engineering (ICSE 2007),
	Minneapolis, MN, USA, May 20-26},
  year = {2007},
  pages = {292-301},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{EEEHT07,
  author = {Hartmut Ehrig and Karsten Ehrig and Claudia Ermel and Frank Hermann
	and Gabriele Taentzer},
  title = {{Information Preserving Bidirectional Model Transformations}},
  booktitle = {Procs. of the 10th Int. Conf. on Fundamental Approaches to Software
	Engineering, (FASE 2007), Braga (Portugal)},
  year = {2007},
  editor = {Matthew B. Dwyer and Ant{\'o}nia Lopes},
  volume = {4422},
  series = {LNCS},
  pages = {72-86},
  publisher = {Springer},
  isbn = {978-3-540-71288-6}
}

@ARTICLE{EGKMM01,
  author = {Stephen G. Eick and Todd L. Graves and Alan F. Karr and J. S. Marron
	and Audris Mockus},
  title = {{Does Code Decay? Assessing the Evidence from Change Management Data.}},
  journal = {IEEE Trans. Software Eng.},
  year = {2001},
  volume = {27},
  pages = {1-12},
  number = {1},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@ARTICLE{ESS92,
  author = {Stephen G. Eick and Joseph L. Steffen and Eric E. Sumner Jr.},
  title = {{Seesoft-A Tool For Visualizing Line Oriented Software Statistics.}},
  journal = {IEEE Trans. Software Eng.},
  year = {1992},
  volume = {18},
  pages = {957-968},
  number = {11},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{EAB02,
  author = {T. Elrad and O. Aldawud and A. Bader},
  title = {{Aspect-Oriented Modeling: Bridging the Gap between Implementation
	and Design.}},
  booktitle = {Procs. of the Generative Programming and Component Engineering, ACM
	SIGPLAN/SIGSOFT Conf., GPCE 2002, Pittsburgh, PA, USA},
  year = {2002},
  volume = {2487},
  series = LNCS,
  pages = {189-201},
  month = {October},
  publisher = Springer,
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@MISC{EMFTEXT,
  author = {{EMFText project}},
  title = {EMFText: concrete syntax mapper},
  note = {Available on line at \url{http://www.reuseware.org/index.php/EMFText}}
}

@INPROCEEDINGS{Emmerich00,
  author = {W. Emmerich},
  title = {Software engineering and middleware: a roadmap},
  booktitle = {Procs of the conference on The future of Software engineering (ICSE
	2000) - Future of {SE} Track, Limerick (Ireland)},
  year = {2000},
  pages = {117--129},
  address = {Limerick, Ireland},
  publisher = {ACM Press}
}

@INPROCEEDINGS{EPK06,
  author = {Klaus-D. Engel and Richard F. Paige and Dimitrios S. Kolovos},
  title = {{Using a Model Merging Language for Reconciling Model Versions}},
  booktitle = {Procs of the 2nd European Conf. on Model Driven Architecture - Foundations
	and Applications, (ECMDA-FA 2006), Bilbao, Spain, July 10-13, 2006},
  year = {2006},
  editor = {Arend Rensink and Jos Warmer},
  volume = {4066},
  series = {LNCS},
  pages = {143-157},
  publisher = {Springer},
  isbn = {3-540-35909-5}
}

@MISC{EJB,
  author = {{Enterprise JavaBeans}},
  howpublished = {http://java.sun.com/products/ejb/}
}

@MISC{ASPCODE,
  author = {R. Eramo},
  title = {{ASP code of Model Transformation}},
  howpublished = {http://www.di.univaq.it/diruscio/aspcode.php},
  year = {2007}
}

@ARTICLE{EMMPP10,
  author = {R. Eramo and I. Malavolta and H. Muccini and P. Pelliccione and A.
	Pierantonio},
  title = {{A model-driven approach to automate the propagation of changes among
	Architecture Description Languages}},
  journal = {SOSYM},
  year = {2010},
  volume = {1},
  pages = {1619--1366},
  number = {25},
  owner = {Romina},
  timestamp = {2010.08.30}
}

@INPROCEEDINGS{EPRV08,
  author = {Eramo, R. and Pierantonio, A. and Romero, J. R. and Vallecillo, A.},
  title = {Change Management in Multi-Viewpoint System Using ASP},
  booktitle = {EDOCW08},
  year = {2008},
  pages = {433--440},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/EDOCW.2008.22},
  doi = {http://dx.doi.org/10.1109/EDOCW.2008.22},
  isbn = {978-0-7695-3720-7}
}

@INPROCEEDINGS{FHN06,
  author = {J. R. Falleri and M. Huchard and C. Nebut},
  title = {Towards a Traceability Framework for Model Transformations in Kermeta},
  booktitle = {ECMDA-TW'06: ECMDA Traceability Workshop},
  year = {2006},
  pages = {31-40},
  address = {Sintef ICT, Norway},
  abstract = {Implementing a model transformation is a very complex task and in
	an MDA process, chains of model transformations are usually built.
	When writing such a transformation chain, developers often need to
	have information on the previously applied transformations. Thus,
	disposing of a traceability framework enabling to gather information
	on the transformation behavior is an important feature for a transformation
	language. In this paper, we propose to implement a traceability framework
	in the Kermeta language based on a language independent trace metamodel.},
  bdsk-url-1 = {http://hal-lirmm.ccsd.cnrs.fr/lirmm-00102855},
  date-added = {2012-02-17 12:17:59 +0100},
  date-modified = {2012-02-17 12:18:39 +0100}
}

@INPROCEEDINGS{FHLN08,
  author = {J.-R. Falleri and M. Huchard and M. Lafourcade and C. Nebut},
  title = {Metamodel Matching for Automatic Model Transformation Generation},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International
	Conference, MoDELS 2008, Toulouse, France, September 28 - October
	3, 2008.},
  year = {2008},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel
	Uhl and Markus V{\"o}lter},
  volume = {5301},
  series = {LNCS},
  pages = {326--340},
  publisher = {Springer}
}

@INPROCEEDINGS{MDEF04,
  author = {J-M. Favre},
  title = {{Towards a Basic Theory to Model Model Driven Engineering}},
  booktitle = {Procs. of the 3rd Int. Workshop in Software Model Engineering, (WiSME
	'04)},
  year = {2004},
  note = {{WiSME 2004}}
}

@INPROCEEDINGS{Favre03,
  author = {Jean-Marie Favre},
  title = {{Meta-Model and Model Co-evolution within the 3D Software Space}},
  booktitle = {Procs. of the Int. Workshop on Evolution of Large-scale Industrial
	Software Applications (ELISA) at ICSM 2003},
  year = {2003},
  address = {Amsterdam},
  month = {September},
  bdsk-url-1 = {http://www-adele.imag.fr/~jmfavre/papers/MetaModelAndModelCoEvolutionWithinThe3DSoftwareSpace.pdf},
  url = {http://www-adele.imag.fr/~jmfavre/papers/MetaModelAndModelCoEvolutionWithinThe3DSoftwareSpace.pdf}
}

@INPROCEEDINGS{aadl,
  author = {Feiler, H. P. and Lewis, B. and Vestal, S.},
  title = {{The SAE Architecture Analysis and Design Language (AADL) Standard}},
  booktitle = {IEEE RTAS Workshop},
  year = {2003},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@BOOK{FECA04,
  title = {{Aspect-Oriented Software Development}},
  publisher = {Addison-Wesley},
  year = {2004},
  author = {R. Filman and T. Elrad and S. Clarke and M. Aksit}
}

@INPROCEEDINGS{FGHKN93,
  author = {A. Finkelstein and D. M. Gabbay and A. Hunter and J. Kramer and B.
	Nuseibeh},
  title = {Inconsistency handling in multi-perspective specifications},
  booktitle = {Proc. of ESEC'93},
  year = {1993},
  pages = {84---99},
  address = {London, UK},
  publisher = {Springer-Verlag},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{FPG03,
  author = {Michael Fischer and Martin Pinzger and Harald Gall},
  title = {{Populating a Release History Database from Version Control and Bug
	Tracking Systems.}},
  booktitle = {19th Int. Conference on Software Maintenance (ICSM 2003)},
  year = {2003},
  pages = {23-32},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{FW04,
  author = {Stephan Flake and Wolfgang Mueller},
  title = {{An {ASM} Definition of the Dynamic {OCL} 2.0 Semantics}},
  booktitle = {{UML} 2004},
  year = {2004},
  editor = {Thomas Baar and Alfred Strohmeier and Ana Moreira and Stephen J.
	Mellor},
  volume = {3273},
  series = LNCS,
  pages = {226--240},
  publisher = Springer
}

@MISC{Kermeta06,
  author = {F. Fleurey and Z. Drey and D. Vojtisek},
  title = {Kermeta language},
  month = {June},
  year = {2006},
  note = {{Reference Manual}}
}

@INPROCEEDINGS{FR04,
  author = {M. Forsberg and A. Ranta},
  title = {{BNF Converter}},
  booktitle = {Procs. 2004 ACM SIGPLAN Workshop on Haskell},
  year = {2004},
  pages = {94-95}
}

@ARTICLE{FGMPS07,
  author = {J.N. Foster and M.B. Greenwald and J.T. Moore and B.C. Pierce and
	A. Schmitt},
  title = {{Combinators for bidirectional tree transformations: A linguistic
	approach to the view-update problem}},
  journal = {ACM Trans. Program. Lang. Syst.},
  year = {2007},
  volume = {29},
  number = {3}
}

@MISC{ASML,
  author = {Foundations of Software Engineering Group, Microsoft Research},
  title = {{AsmL. Web page}},
  year = {2006},
  note = {http://research.microsoft.com/foundations/AsmL}
}

@BOOK{Fowler99,
  title = {Refactoring: improving the design of existing code},
  publisher = {Addison-Wesley Longman Publishing Co., Inc.},
  year = {1999},
  author = {Martin Fowler and Kent Beck and John Brant and William Opdyke and
	Don Roberts},
  address = {Boston, MA, USA},
  isbn = {0-201-48567-2}
}

@INPROCEEDINGS{FHV02,
  author = {F. Frasincar and G. Houben and R. Vdovjak},
  title = {{Specification Framework for Engineering Adaptive Web Applications}},
  booktitle = {Procs. of the 11th Int. World Wide Web Conf., WWW 2002, Web Engineering
	Track, Honolulu, USA},
  year = {2002}
}

@ARTICLE{F99,
  author = {P. Fraternali},
  title = {{Tools and Approaches for Developing data-intensive Web Applications:
	{A} Survey}},
  journal = {ACM Computing Surveys},
  year = {1999},
  volume = {31},
  pages = {227--263},
  number = {3},
  publisher = {ACM Press}
}

@INPROCEEDINGS{FW07,
  author = {S. F{\"o}rtsch and B. Westfechtel},
  title = {{DIFFERENCING AND MERGING OF SOFTWARE DIAGRAMS Stateof the Art and
	Challenges}},
  booktitle = {Procs. of the 2nd Int. Conf. on Software and Data Technologies, (ICSOFT2007),
	Setubal (Portugal)},
  year = {2007},
  editor = {Joaquim Filipe and Boris Shishkow and Markus Helfert},
  owner = {Antonio},
  timestamp = {2007.12.17}
}

@ARTICLE{MVC88,
  author = {G.E. Krasner, S.T. Pope},
  title = {{A cookbook for using the model-view controller user interface paradigm
	in Smalltalk-80}},
  journal = JOOP,
  year = {1988},
  volume = {1},
  pages = {26--49},
  number = {3}
}

@INPROCEEDINGS{GG01,
  author = {Gaedke, M. and Gr\"{a}f, G.},
  title = {{Development and Evolution of Web-Applications Using the WebComposition
	Process Model}},
  booktitle = {Web Engineering, Software Engineering and Web Application Development},
  year = {2001},
  volume = {2016},
  series = {LNCS},
  pages = {58--76},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-42130-0}
}

@INPROCEEDINGS{GES02,
  author = {R.M. Galante and N. Edelweiss and C.S. {dos Santos}},
  title = {{Change Management for a Temporal Versioned Object-Oriented Database}},
  booktitle = {Procs. of Conceptual Modeling - ER 2002, 21st International Conference
	on Conceptual Modeling, Tampere, Finland, October 7-11, 2002},
  year = {2002},
  volume = {2503},
  series = {LNCS},
  pages = {1-12},
  publisher = {Springer},
  ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2784{\&}spage=1},
  isbn = {3-540-44277-4}
}

@INPROCEEDINGS{GG07,
  author = {Galvao, Ismenia and Goknil, Arda},
  title = {Survey of Traceability Approaches in Model-Driven Engineering},
  booktitle = {Procs of the Int. Enterprise Distributed Object Computing Conference
	(EDOC)},
  year = {2007},
  pages = {313--},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dl.acm.org/citation.cfm?id=1317532.1318058},
  date-added = {2012-02-17 12:08:43 +0100},
  date-modified = {2012-02-17 12:09:53 +0100}
}

@BOOK{GHJV95,
  title = {{Design Patterns}},
  publisher = {Addison-Wesley},
  year = {1995},
  author = {E. Gamma and R. Helm and R. Johnson and J. Vlissides},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{GN00,
  author = {Emden R. Gansner and Stephen C. North},
  title = {{An open graph visualization system and its applications to software
	engineering}},
  journal = {{Software - Practice and Experience}},
  year = {2000},
  volume = {30},
  pages = {1203-1233},
  number = {11}
}

@INPROCEEDINGS{G08,
  author = {Garcia},
  title = {{Bidirectional Synchronization of Multiple Views of Software Models}},
  year = {2008}
}

@INPROCEEDINGS{GJCB09,
  author = {Kelly Garc{\'e}s and Fr{\'e}d{\'e}ric Jouault and Pierre Cointe and
	Jean B{\'e}zivin},
  title = {Managing Model Adaptation by Precise Detection of Metamodel Changes},
  booktitle = {Procs. of Model Driven Architecture - Foundations and Applications,
	5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands,
	June 23-26},
  year = {2009},
  editor = {Richard F. Paige and Alan Hartman and Arend Rensink},
  volume = {5562},
  series = {LNCS},
  pages = {34-49},
  publisher = {Springer}
}

@MISC{ASMETA,
  author = {A. Gargantini},
  title = {{Asmeta: Abstract State Machine Metamodel and its tool set}},
  year = {2007},
  note = {http://asmeta.sourceforge.net/},
  owner = {diruscio},
  timestamp = {2007.11.23}
}

@ARTICLE{GR01,
  author = {A. Gargantini and E. Riccobene},
  title = {{ASM}-Based Testing: Coverage Criteria and Automatic Test Sequence},
  journal = JUCS,
  year = {2001},
  volume = {7},
  pages = {1050+},
  number = {11}
}

@INPROCEEDINGS{GKSK03,
  author = {D. Garlan and S. Khersonsky and J. Soo Kim},
  title = {{Model Checking Publish/Subscribe Systems}},
  booktitle = {{Proceedings of The 10th International SPIN Workshop on Model Checking
	of Software (SPIN 03)}},
  year = {2003},
  address = {Portland, Oregon},
  month = {May}
}

@INPROCEEDINGS{CASCON07,
  author = {David Garlan and Robert Monroe and David Wile},
  title = {Acme: an architecture description interchange language},
  booktitle = {CASCON'97},
  year = {1997},
  pages = {7},
  publisher = {IBM Press},
  location = {Toronto, Ontario, Canada},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@ARTICLE{acme-fcbs,
  author = {Garlan, David and Monroe, Robert T. and Wile, David},
  title = {Acme: Architectural Description of Component-Based Systems},
  year = {2000},
  pages = {47-68},
  booktitle = {Foundations of Component-Based Systems},
  owner = {Romina},
  publisher = {Cambridge University Press},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{GBM02,
  author = {F. Garzotto and L. Baresi and M. Maritati},
  title = {{W2000} as a {MOF} Metamodel},
  booktitle = {The 6th World Multiconf. on Systemics, Cybernetics and Informatics-Web
	Engineering track, Orlando, USA},
  year = {2002}
}

@INPROCEEDINGS{GL88,
  author = {M. Gelfond and V. Lifschitz},
  title = {{The Stable Model Semantics for Logic Programming}},
  booktitle = {Procs of ICLP},
  year = {1988},
  editor = {Robert A. Kowalski and Kenneth Bowen},
  pages = {1070--1080},
  address = {Cambridge, Massachusetts},
  publisher = {The {MIT} Press}
}

@INPROCEEDINGS{GLRSW02,
  author = {A. Gerber and M. Lawley and K. Raymond and J. Steel and A.Wood},
  title = {{Transformation: The Missing Link of MDA}},
  booktitle = {1st International Conference on Graph Transformation},
  year = {2002},
  pages = {90-105},
  address = {Barcelona, Spain}
}

@INPROCEEDINGS{GW06,
  author = {Holger Giese and Robert Wagner},
  title = {{Incremental Model Synchronization with Triple Graph Grammars}},
  booktitle = {Procs. of the 9th Int. Conf. on Model Driven Engineering Languages
	and Systems, MoDELS 2006, Genova, Italy},
  year = {2006},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {LNCS},
  pages = {543-557},
  publisher = {Springer},
  isbn = {3-540-45772-0}
}

@ARTICLE{GW09,
  author = {Giese, Holger and Wagner, Robert},
  title = {{From model transformation to incremental bidirectional model synchronization}},
  journal = {SOSYM},
  year = {2009},
  volume = {8},
  pages = {21-43--43},
  number = {1},
  owner = {Romina},
  publisher = {Springer Berlin / Heidelberg},
  timestamp = {2010.11.10}
}

@INPROCEEDINGS{Gills05,
  author = {M. Gills},
  title = {{Survey of Traceability Models in IT projects}},
  booktitle = {Procs. of the 1st ECMDA Workshop on Traceability, ECMDA-TW 2005,
	Nuremberg (Germany)},
  year = {2005},
  pages = {39--46},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@ARTICLE{HISMO,
  author = {T. Girba and S. Ducasse},
  title = {{Modeling History to Analyze Software Evolution}},
  journal = {J. Softw. Maint. Evol.: Res, Pract.},
  year = {2006},
  volume = {18},
  pages = {207-236},
  owner = {Antonio},
  timestamp = {2007.12.18}
}

@ARTICLE{GME05,
  author = {Denis Gracanin and Kresimir Matkovic and Mohamed Eltoweissy},
  title = {Software visualization},
  journal = {Innovations in Systems and Software Engineering},
  year = {2005},
  volume = {1},
  pages = {221-230},
  number = {2}
}

@MASTERSTHESIS{Graziadei05,
  author = {Thomas R. Graziadei},
  title = {{Aspect Oriented Model Weaver}},
  school = {Fachhochschule Vorarlberg GmbH. In the Degree Program},
  year = {2005},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@BOOK{GSCK04,
  title = {{Software Factories: Assembling Applications with Patterns, Models,
	Frameworks, and Tools}},
  publisher = {Wiley},
  year = {2004},
  author = {J. Greenfield and K. Short and S. Cook and S. Kent},
  owner = {Alfonso},
  timestamp = {2010.02.02}
}

@INPROCEEDINGS{Grinter99,
  author = {Rebecca E. Grinter and James D. Herbsleb and Dewayne E. Perry},
  title = {{The geography of coordination: dealing with distance in R\&D work}},
  booktitle = {Proceedings of GROUP '99: conference on Supporting group work},
  year = {1999},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/320297.320333},
  doi = {http://doi.acm.org/10.1145/320297.320333},
  isbn = {1-58113-065-1},
  location = {Phoenix, Arizona, United States},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{GL94,
  author = {O. Grumberg and D. E. Long},
  title = {{Model Checking and Modular Verification}},
  journal = {ACM Transaction on Programming Languages and Systems},
  year = {1994},
  volume = {16},
  pages = {846-872}
}

@INPROCEEDINGS{GHM98,
  author = {J. Grundy and J. Hosking and W. B. Mugridge},
  title = {Inconsistency management for multiple-view software development environments},
  year = {1998},
  volume = {24},
  number = {11},
  pages = {960--981},
  journal = {IEEE Trans. Softw. Eng.},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{GKP07,
  author = {B. Gruschko and D. Kolovos and R. Paige},
  title = {{Towards Synchronizing Models with Evolving Metamodels}},
  booktitle = {Proceedings of the Workshop on Model-Driven Software Evolution (MODSE
	2007)},
  year = {2007}
}

@ARTICLE{G95,
  author = {Y. Gurevich},
  title = {{Evolving Algebras 1993: Lipari Guide}},
  year = {1995},
  pages = {9-36},
  booktitle = {{Specication and Validation Methods}},
  editor = {E. Borger},
  publisher = {Oxford University Press}
}

@INCOLLECTION{G88,
  author = {Y. Gurevich},
  title = {{Logic and the challenge of computer science}},
  booktitle = {{Current trends in theoretical computer science}},
  publisher = {{Computer Science Press}},
  year = {1988},
  editor = {E. B{\"o}rger},
  pages = {1--57}
}

@ARTICLE{G99,
  author = {Y. Gurevich},
  title = {{The sequential ASM thesis}},
  journal = {{Bullettin of European Association for Theoretical Computer Science}},
  year = {1999},
  volume = {67},
  pages = {93--124}
}

@ARTICLE{GC03,
  author = {J. G{\'o}mez and C. Cachero},
  title = {{OO-H Method: extending UML to model web interfaces}},
  journal = {Information modeling for internet applications},
  year = {2003},
  pages = {144--173},
  note = {IGI Publishing},
  owner = {Davide}
}

@INPROCEEDINGS{Knight02,
  author = {K.M. Hansen and C.H. Damm},
  title = {Instant collaboration: using context-aware instant messaging for
	session management in distributed collaboration tools},
  booktitle = {Proceedings of NordiCHI 2002},
  year = {2002},
  pages = {279--282},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/572020.572065},
  doi = {http://doi.acm.org/10.1145/572020.572065},
  location = {Aarhus, Denmark},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{SaveCCM,
  author = {Hansson, Hans and Akerholm, Mikael and Crnkovic, Ivica and Torngren,
	Martin},
  title = {SaveCCM - A Component Model for Safety-Critical Real-Time Systems},
  booktitle = {EUROMICRO '04: Proceedings of the 30th EUROMICRO Conference},
  year = {2004},
  pages = {627--635},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/EUROMICRO.2004.72},
  doi = {http://dx.doi.org/10.1109/EUROMICRO.2004.72},
  isbn = {0-7695-2199-1},
  owner = {Romina},
  timestamp = {2010.09.02}
}

@TECHREPORT{AGEDIS_MBT,
  author = {Alan Hartman},
  title = {{Model Based Test Generation Tools}},
  institution = {{AGEDIS project Downloads}},
  year = {2002},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{HK03,
  author = {J. H. Hausmann and S. Kent},
  title = {{Visualizing model mappings in UML}},
  booktitle = {Procs of the 2003 ACM Symposium on Software Visualization},
  year = {2003},
  pages = {169--178},
  publisher = {ACM Press}
}

@INPROCEEDINGS{HMI05,
  author = {Y. Hayase and M. Matsushita and K. Inoue},
  title = {Revision control system using delta script of syntax tree},
  booktitle = {Procs of the 12th Intl. Workshop on Software Configuration Management
	(SCM'05), Lisbon (Portugal)},
  year = {2005},
  pages = {133--149},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  isbn = {1-59593-310-7},
  location = {Lisbon, Portugal},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{HLR06,
  author = {D. Hearnden and M. Lawley and K. Raymond},
  title = {{Incremental Model Transformation for the Evolution of Model-Driven
	Systems.}},
  booktitle = {Procs. of MoDELS 2006},
  year = {2006},
  volume = {4199},
  series = LNCS,
  pages = {321-335},
  publisher = Springer,
  isbn = {3-540-45772-0}
}

@ARTICLE{HM03,
  author = {James D. Herbsleb and Audris Mockus},
  title = {{An Empirical Study of Speed and Communication in Globally Distributed
	Software Development}},
  journal = {IEEE TSE},
  year = {2003},
  volume = {29},
  pages = {481-494},
  number = {6},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205177},
  doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205177},
  issn = {0098-5589},
  owner = {Antonio},
  publisher = {IEEE Computer Society},
  timestamp = {2007.10.17}
}

@ARTICLE{COPE,
  author = {Herrmannsdoerfer, Markus and Benz, Sebastian and Juergens, Elmar},
  title = {COPE - Automating Coupled Evolution of Metamodels and Models},
  year = {2009},
  pages = {52--76},
  address = {Berlin, Heidelberg},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-03013-0_4},
  booktitle = {Genoa: Proceedings of the 23rd European Conference on ECOOP 2009
	--- Object-Oriented Programming},
  doi = {http://dx.doi.org/10.1007/978-3-642-03013-0_4},
  isbn = {978-3-642-03012-3},
  location = {Italy},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{HBJ08,
  author = {M. Herrmannsdoerfer and S. Benz and E. J{\"u}rgens},
  title = {{Automatability of Coupled Evolution of Metamodels and Models in
	Practice}},
  booktitle = {Model Driven Engineering Languages and Systems, 11th International
	Conference, MoDELS 2008, Toulouse, France, September 28 - October
	3, 2008.},
  year = {2008},
  editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel
	Uhl and Markus V{\"o}lter},
  volume = {5301},
  series = {LNCS},
  pages = {645-659},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-540-87875-9_45},
  isbn = {978-3-540-87874-2}
}

@INPROCEEDINGS{HLR09,
  author = {Thomas Hettel and Michael Lawley and Kerry Raymond},
  title = {Towards Model Round-Trip Engineering: An Abductive Approach},
  booktitle = {ICMT},
  year = {2009},
  pages = {100-115},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-642-02408-5_8},
  owner = {Romina},
  timestamp = {2009.09.25}
}

@INPROCEEDINGS{HLR08,
  author = {T. Hettel and M. Lawley and K. Raymond},
  title = {{Model Synchronisation: Definitions for Round-Trip Engineering}},
  booktitle = {Procs. of ICMT 2008},
  year = {2008}
}

@ARTICLE{HH06,
  author = {J.-M. Hick and J.-L. Hainaut},
  title = {Database application evolution: a transformational approach},
  journal = {Data \& Knowledge Engineering},
  year = {2006},
  volume = {59},
  pages = {534--558},
  number = {3},
  address = {Amsterdam, The Netherlands, The Netherlands},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.datak.2005.10.003},
  doi = {http://dx.doi.org/10.1016/j.datak.2005.10.003},
  issn = {0169-023X},
  publisher = {Elsevier Science Publishers B. V.}
}

@INPROCEEDINGS{HJPP02,
  author = {W-M. Ho and J-M. J\'ez\'equel and F. Pennaneac'h and N. Plouzeau},
  title = {{A toolkit for weaving aspect oriented UML designs}},
  booktitle = {AOSD '02: Proceedings of the 1st international conference on Aspect-oriented
	software development},
  year = {2002},
  pages = {99-105},
  address = {Enschede, The Netherlands},
  publisher = {ACM Press}
}

@BOOK{SpinBook,
  title = {{The SPIN Model Checker: Primer and Reference Manual}},
  publisher = {Addison-Wesley},
  year = {September 2003},
  author = {Gerard J. Holzmann},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{HVT98,
  author = {J.J. Hunt and K.-P. Vo and W.F. Tichy},
  title = {Delta algorithms: an empirical analysis},
  journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year = {1998},
  volume = {7},
  pages = {192--214},
  number = {2},
  address = {New York, NY, USA},
  issn = {1049-331X},
  owner = {Antonio},
  publisher = {ACM Press},
  timestamp = {2007.10.18}
}

@MISC{RHAPSODY,
  author = {I-Logix},
  title = {{Rhapsody Tool}},
  year = {2006},
  note = {http://www.ilogix.com/sublevel.aspx?id=53},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@MISC{RationalSA,
  author = {{IBM Corporation}},
  title = {{IBM Rational Software Development Platform 2006 - Rational Software
	Architect}},
  note = {http://publib.boulder.ibm.com/infocenter/rtnlhelp/v6r0m0/top\-ic/com.ibm.rational.rsa.books/icwelcome\_product\_rsa.htm},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{MTF04,
  author = {{IBM United Kingdom Laboratories Ltd.}},
  title = {{Model Transformation Framework (MTF)}},
  howpublished = {http://www.alphaworks.ibm.com/tech/mtf},
  year = {2004},
  note = {IBM alphaWorks}
}

@MISC{ARCSTYLER,
  author = {{Interactive Objects}},
  title = {{ArcStyler Tool}},
  year = {2006},
  note = {http://www.interactive-objects.com},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{IMP05,
  author = {P. Inverardi and H. Muccini and P. Pelliccione},
  title = {{DUALLY: Putting in Synergy UML 2.0 and ADLs}},
  booktitle = {5th IEEE/IFIP Working Conference on Software Architecture (WICSA
	2005)},
  year = {6-9 November 2005},
  organization = {Pittsburgh, PA}
}

@INPROCEEDINGS{CharmyESEC,
  author = {Paola Inverardi and Henry Muccini and Patrizio Pelliccione},
  title = {{CHARMY: an extensible tool for architectural analysis}},
  booktitle = {ESEC/FSE-13},
  year = {2005},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1081706.1081726},
  doi = {http://doi.acm.org/10.1145/1081706.1081726},
  isbn = {1-59593-014-0},
  location = {Lisbon, Portugal},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@PROCEEDINGS{UML4ODP,
  title = {{I}nformation technology -- {O}pen distributed processing -- {U}se
	of {UML} for {ODP} system specifications},
  year = {2008},
  address = {Geneva, Switzerland},
  note = {ISO/IEC FDIS 19793, ITU-T X.906},
  organization = {ISO and ITU-T},
  author = {{ISO/IEC}}
}

@INPROCEEDINGS{RMODP,
  author = {{ISO/IEC}},
  title = {{RM-ODP}. {R}eference {M}odel for {O}pen {D}istributed {P}rocessing},
  year = {1997},
  number = {ISO/IEC 10746, ITU-T Rec. X.901-4},
  address = {Geneva, Switzerland},
  organization = {ISO and ITU-T},
  note = {ISO/IEC 10746, ITU-T Rec. X.901-X.904}
}

@MISC{MSC,
  author = {{ITU-T Recommendation Z.120.}},
  title = {{Message Sequence Charts}},
  howpublished = {{ITU Telecommunication Standardisation Sector}}
}

@ARTICLE{GarlanSEI_TR04,
  author = {James Ivers and Paul Clements and David Garlan and Robert Nord and
	Bradley Schmerl and Jaime Rodrigo Oviedo Silva},
  title = {{Documenting Component and Connector Views with UML 2.0}},
  year = {2004},
  number = {CMU/SEI-2004-TR-008},
  institution = {CMU, SEI}
}

@INPROCEEDINGS{IK04,
  author = {Igor Ivkovic and Kostas Kontogiannis},
  title = {{Tracing Evolution Changes of Software Artifacts through Model Synchronization}},
  booktitle = {Procs of the 20th IEEE Int. Conf. on Software Maintenance (ICSM '04)},
  year = {2004},
  pages = {252--261},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2213-0}
}

@INPROCEEDINGS{ICM08,
  author = {J.L.C. Izquierdo and J.S. Cuadrado and J.G. Molina},
  title = {{Gra2MoL: A domain specific transformation language for bridging
	grammarware to modelware in software modernization}},
  booktitle = {Procs. Workshop on Model-Driven Software Evolution},
  year = {2008}
}

@INPROCEEDINGS{BD03,
  author = {J.Bradbury and J. Dingel},
  title = {{Evaluating and Improving the Automatic Analysis of Implicit Invocation
	Systems}},
  booktitle = {{European Software Engineering Conference and ACM SIGSOFT Symposium
	on the Foundations of Software Engineering. (ESEC/FSE 2003)}},
  year = {2003},
  address = {Helsinki, Finland},
  month = {September},
  publisher = {ACM Press}
}

@INPROCEEDINGS{JKNW99,
  author = {E.E. Jacobsen and B.B. Kristensen and P. Nowack and T. Worm},
  title = {{Software Evolution: Prototypical Deltas}},
  booktitle = {Procs. of the 31st Int. Conf. on Technology of Object-Oriented Language
	and Systems, TOOLS '99},
  year = {1999},
  pages = {14},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-0393-4}
}

@INPROCEEDINGS{JSKM06,
  author = {M. Jakob and H. Schwarz and F. Kaiser and B. Mitschang},
  title = {{Towards an Operation Model for Generated Web Applications}},
  booktitle = {{ICWE '06: Workshop procs. of the sixth Int. Conf. on Web Engineering}},
  year = {2006},
  pages = {7},
  publisher = {ACM Press},
  location = {Palo Alto, California},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@MISC{JDO,
  author = {{Java Data Objects}},
  howpublished = {http://java.sun.com/products/jdo/}
}

@INPROCEEDINGS{Jazayeri07,
  author = {Mehdi Jazayeri},
  title = {{Some Trends in Web Application Development}},
  booktitle = {International Conference on Software Engineering, ISCE 2007, Workshop
	on the Future of Software Engineering, FOSE 2007, May 23-25, 2007,
	Minneapolis, MN, USA},
  year = {2007},
  editor = {Lionel C. Briand and Alexander L. Wolf},
  pages = {199-213},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.acm.org/10.1145/1253532.1254719}
}

@INPROCEEDINGS{JE04,
  author = {Sven Johann and Alexander Egyed},
  title = {{Instant and Incremental Transformation of Models}},
  booktitle = {Procs of the 19th IEEE Int. Conf. on Automated Software Engineering
	(ASE '04)},
  year = {2004},
  pages = {362--365},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/ASE.2004.43},
  doi = {http://dx.doi.org/10.1109/ASE.2004.43},
  isbn = {0-7695-2131-2}
}

@BOOK{VDM,
  title = {{Systematic Software Development Using VDM}},
  publisher = {Prentice-Hall},
  year = {1990},
  author = {C. B. Jones},
  series = {International Series in Computer Science},
  edition = {{S}econd}
}

@INPROCEEDINGS{Jouault05,
  author = {F. Jouault},
  title = {{Loosely Coupled Traceability for ATL}},
  booktitle = {European Conference on Model Driven Architecture (ECMDA) Workshop
	on Traceability},
  year = {2005},
  pages = {29-37},
  note = {http://www.lina.sciences.univ-nantes.fr/Publications/2005/Jou05}
}

@ARTICLE{ATL,
  author = {F. Jouault and F. Allilaire and J. B{\'e}zivin and I. Kurtev},
  title = {{ATL: a Model Transformation Tool}},
  journal = {Science of Computer Programming},
  year = {2008},
  volume = {72},
  pages = {31-39},
  number = {1-2}
}

@INPROCEEDINGS{KM3,
  author = {F. Jouault and J. B\'ezivin},
  title = {{KM3: a DSL for Metamodel Specification}},
  booktitle = {FMOODS'06},
  year = {2006},
  volume = {4037},
  series = LNCS,
  pages = {171--185},
  publisher = Springer
}

@INPROCEEDINGS{JBK06,
  author = {F. Jouault and J. B\'{e}zivin and I. Kurtev},
  title = {{TCS: a DSL for the Specification of Textual Concrete Syntaxes in
	Model Engineering}},
  booktitle = {Procs of the 5th Int. Conf. on Generative programming and Component
	Engineering (GPCE '06)},
  year = {2006},
  pages = {249--254},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1173706.1173744},
  doi = {http://doi.acm.org/10.1145/1173706.1173744},
  isbn = {1-59593-237-2},
  location = {Portland, Oregon, USA}
}

@INPROCEEDINGS{JK05,
  author = {F. Jouault and I. Kurtev},
  title = {{Transforming Models with ATL}},
  booktitle = {MoDELS Satellite Events},
  year = {2005},
  editor = {Jean-Michel Bruel},
  volume = {3844},
  series = LNCS,
  pages = {128--138},
  publisher = Springer,
  bibdate = {2006-02-02}
}

@TECHREPORT{ACMEMetamodel,
  author = {Baudry Julien},
  title = {{ATL Transformation, METAH2ACME}},
  institution = {INRIA Sophia Antipolis},
  year = {2006},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{jxme,
  author = {{JXME Project}},
  title = {{JXME web site}},
  howpublished = {{http://jxme.jxta.org}},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{jxta,
  author = {{JXTA Project}},
  title = {{JXTA web site}},
  howpublished = {{http://www.jxta.org}},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{PJ07,
  author = {Elmar J{\"u}rgens and Markus Pizka},
  title = {The Language Evolver Lever - Tool Demonstration -},
  journal = {Electr. Notes Theor. Comput. Sci.},
  year = {2006},
  volume = {164},
  pages = {55-60},
  number = {2},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1016/j.entcs.2006.10.004}
}

@INPROCEEDINGS{Maptool,
  author = {Kadhim, Basim M. and Waite, William M.},
  title = {Maptool - Supporting Modular Syntax Development},
  booktitle = {Proceedings of the 6th International Conference on Compiler Construction},
  year = {1996},
  pages = {268--280},
  address = {London, UK},
  publisher = {Springer-Verlag},
  acmid = {727459},
  bdsk-url-1 = {http://portal.acm.org/citation.cfm?id=647473.727459},
  date-modified = {2011-03-30 16:23:39 +0200},
  isbn = {3-540-61053-7},
  numpages = {13},
  url = {http://portal.acm.org/citation.cfm?id=647473.727459}
}

@ARTICLE{KASS03,
  author = {G. Karsai and A. Agrawal and F. Shi and J. Sprinkle},
  title = {{On the Use of Graph Transformation in the Formal Specification of
	Model Interpreters}},
  journal = JUCS,
  year = {2003},
  volume = {9},
  pages = {1296--1321},
  number = {11}
}

@ARTICLE{KMLGS04,
  author = {G. Karsai and M. Maroti and A. Ledeczi and J. Gray and J. Sztipanovits},
  title = {{Composition and Cloning in Modeling and Meta-Modeling}},
  journal = {IEEE Transactions on Control Systems Technology},
  year = {2004},
  volume = {12},
  pages = {263--278},
  number = {2}
}

@INPROCEEDINGS{KE03,
  author = {N. Kaveh and W. Emmerich},
  title = {{Validating Distributed Object and Component Designs}},
  booktitle = {Formal Methods for Software Architecture},
  year = {2003},
  editor = {M. Bernardo and P. Inverardi},
  volume = {2804},
  series = LNCS
}

@ARTICLE{KP09,
  author = {S. Kelly and R. Pohjonen},
  title = {{Worst Practices for Domain-Specific Modeling}},
  journal = {IEEE Software},
  year = {2009},
  volume = {26},
  pages = {22-29},
  number = {4},
  owner = {Alfonso},
  timestamp = {2009.07.09}
}

@BOOK{KT08,
  title = {{Domain-Specific Modeling}},
  publisher = {Wiley-IEEE Computer Society Press},
  year = {2008},
  author = {S. Kelly and J.-P. Tolvanen},
  pages = {448},
  month = {March},
  isbn = {978-0-470-03666-2}
}

@INPROCEEDINGS{MDEK02,
  author = {S. Kent},
  title = {{Model Driven Engineering}},
  booktitle = {Integrated Formal Methods, Third International Conference, {IFM}},
  year = {2002},
  editor = {Michael J. Butler and Luigia Petre and Kaisa Sere},
  volume = {2335},
  series = LNCS,
  pages = {286--298},
  publisher = Springer
}

@INPROCEEDINGS{Kiczales97,
  author = {Kiczales, Gregor and Lamping, John and Mendhekar, Anurag and Maeda,
	Chris and Videira Lopes, Cristina and Loingtier, Jean-Marc and Irwin,
	John},
  title = {{Aspect-Oriented Programming}},
  booktitle = {11th European Conference on Object Oriented Programming (ECO$\!$OP
	'97)},
  year = {1997},
  volume = {1241},
  series = {LNCS},
  pages = {220-242},
  address = {Helsinki, Finland},
  month = jun,
  publisher = {Springer-Verlag},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@ARTICLE{KLW95,
  author = {M. Kifer and G. Lausen and J. Wu},
  title = {{Logical Foundations of Object-Oriented and Frame-Based Languages.}},
  journal = {Jour. of the ACM},
  year = {1995},
  volume = {42},
  pages = {741-843},
  number = {4},
  month = {July}
}

@INPROCEEDINGS{FKS07,
  author = {Felix Klar and Alexander K?nigs and Andy Sch?rr},
  title = {{Model Transformation in the Large}},
  booktitle = {ESEC/FSE?07},
  year = {2007},
  pages = {285-294},
  address = {Cavtat near Dubrovnik, Croatia},
  month = {September},
  publisher = {ACM},
  owner = {diruscio},
  timestamp = {2007.12.14}
}

@INPROCEEDINGS{Kleppe06,
  author = {Anneke Kleppe},
  title = {{MCC: A Model Transformation Environment}},
  booktitle = {ECMDA-FA},
  year = {2006},
  editor = {Arend Rensink and Jos Warmer},
  volume = {4066},
  series = LNCS,
  pages = {173-187},
  publisher = {Springer}
}

@INPROCEEDINGS{Kleppe07,
  author = {Anneke Kleppe},
  title = {{A Language is More than a Metamodel}},
  booktitle = {Procs. of the 4th Int. MoDELS Workshop on Software Language Engineering
	(ATEM 2007), Nashville (USA)},
  year = {2007}
}

@BOOK{KW03,
  title = {{MDA Explained. The Model Driven Architecture: Practice and Promise}},
  publisher = {Addison-Wesley},
  year = {2003},
  author = {A. Kleppe and J. Warmer}
}

@ARTICLE{KLV05,
  author = {Paul Klint and Ralf L{\"a}mmel and Chris Verhoef},
  title = {{Toward an engineering discipline for grammarware}},
  journal = {ACM Transactions on Software Engineering Methodology},
  year = {2005},
  volume = {14},
  pages = {331-380},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://doi.acm.org/10.1145/1073000}
}

@INPROCEEDINGS{KK03,
  author = {N. Koch and A. Kraus},
  title = {{Towards a Common Metamodel for the Development of Web Applications}},
  booktitle = {{International Conference on Web Engineering (ICWE 2003)}},
  year = {2003},
  volume = {2722},
  series = LNCS,
  pages = {497--506},
  publisher = Springer
}

@INPROCEEDINGS{KK02,
  author = {N. Koch and A. Kraus},
  title = {{The expressive Power of UML-based Web Engineering}},
  booktitle = {{2nd Int. Work. on Web-oriented Software Technology, IWWOST}},
  year = {2002},
  pages = {105--119},
  publisher = {CYTED}
}

@INPROCEEDINGS{KHHL09,
  author = {M. Koegel and M. Herrmannsdoerfer and J. Helming and Y. Li},
  title = {{State-Based vs. Operation-based Change Tracking}},
  booktitle = {Proc. of the Joint ModSE-MCCM Workshop on Models and Evolution, ModSE-MCCM'09},
  year = {2009}
}

@INPROCEEDINGS{K09,
  author = {Kolovos, D.S.},
  title = {Establishing Correspondences between Models with the Epsilon Comparison
	Language},
  booktitle = {ECMDA-FA '09: Proceedings of the 5th European Conference on Model
	Driven Architecture - Foundations and Applications},
  year = {2009},
  pages = {146--157},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02674-4_11},
  doi = {http://dx.doi.org/10.1007/978-3-642-02674-4_11},
  isbn = {978-3-642-02673-7},
  location = {Enschede, The Netherlands}
}

@INPROCEEDINGS{KDPP09,
  author = {Kolovos, D.S. and {Di Ruscio}, D. and Pierantonio, A. and Paige,
	R.F.},
  title = {Different models for model matching: An analysis of approaches to
	support model differencing},
  booktitle = {CVSM '09: Proceedings of the 2009 ICSE Workshop on Comparison and
	Versioning of Software Models},
  year = {2009},
  pages = {1--6},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/CVSM.2009.5071714},
  doi = {http://dx.doi.org/10.1109/CVSM.2009.5071714},
  isbn = {978-1-4244-3714-6}
}

@INPROCEEDINGS{KPPComparison06,
  author = {D.S. Kolovos and R.F. Paige and F.A.C. Polack},
  title = {Model comparison: a foundation for model composition and model transformation
	testing},
  booktitle = {Procs of the Int. Workshop on Global integrated model management
	(GaMMa '06), Shanghai (China)},
  year = {2006},
  pages = {13--20},
  address = {New York (NY, USA)},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1138304.1138308},
  doi = {http://doi.acm.org/10.1145/1138304.1138308},
  isbn = {1-59593-410-3},
  location = {Shanghai, China},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{KPPMerging06,
  author = {D.S. Kolovos and R.F. Paige and F.A.C. Polack},
  title = {{On-Demand Merging of Traceability Links with Models}},
  booktitle = {Procs. of the 2nd ECMDA Workshop on Traceability, ECMDA-TW 2006,
	Bilbao (Spain)},
  year = {2006},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{KPPModels06,
  author = {Dimitrios S. Kolovos and Richard F. Paige and Fiona Polack},
  title = {{Merging Models with the Epsilon Merging Language (EML)}},
  booktitle = {Procs. of the 9th Int. Conf. on Model Driven Engineering Languages
	and Systems, MoDELS 2006, Genova, Italy, October 1-6},
  year = {2006},
  editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio},
  volume = {4199},
  series = {LNCS},
  pages = {215-229},
  publisher = {Springer},
  isbn = {3-540-45772-0}
}

@ARTICLE{KS06,
  author = {Alexander Konigs and Andy Schurr},
  title = {{Tool Integration with Triple Graph Grammars - A Survey}},
  journal = {Electronic Notes in Theoretical Computer Science},
  year = {2006},
  volume = {148},
  pages = {113-150},
  owner = {diruscio},
  timestamp = {2007.12.13}
}

@ARTICLE{KL03,
  author = {Jan Kort and Ralf L{\"a}mmel},
  title = {{A Framework for Datatype Transformation}},
  year = {2003},
  month = apr,
  note = {20 pages},
  booktitle = {Proc.\ of Language, Descriptions, Tools, and Applications (LDTA 2003)},
  editor = {B.R.~Bryant and J.~Saraiva},
  publisher = {Elsevier}
}

@INPROCEEDINGS{K74,
  author = {R. A. Kowalski},
  title = {{Predicate Logic as Programming Language.}},
  booktitle = {IFIP Congress},
  year = {1974},
  pages = {569-574}
}

@INPROCEEDINGS{ModelCVS,
  author = {G. Kramler and G. Kappel and T. Reiter and E. Kapsammer and W. Retschitzegger
	and W. Schwinger},
  title = {Towards a semantic infrastructure supporting model-based tool integration},
  booktitle = {Procs of the Int. Workshop on Global integrated model management
	(GaMMa '06), Shanghai (China)},
  year = {2006},
  pages = {43--46},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1138304.1138314},
  doi = {http://doi.acm.org/10.1145/1138304.1138314},
  isbn = {1-59593-410-3},
  location = {Shanghai, China},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{Kraut95,
  author = {Robert E. Kraut and Lynn A. Streeter},
  title = {Coordination in software development},
  journal = {Communications of the ACM},
  year = {1995},
  volume = {38},
  pages = {69--81},
  number = {3},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/203330.203345},
  doi = {http://doi.acm.org/10.1145/203330.203345},
  issn = {0001-0782},
  owner = {Antonio},
  publisher = {ACM Press},
  timestamp = {2007.10.17}
}

@ARTICLE{Kruchten,
  author = {P. Kruchten},
  title = {{Architectural Blueprints - The ``4+1" View Model of Software Architecture}},
  journal = {IEEE Software},
  year = {1995},
  volume = {12},
  pages = {42-50},
  number = {6},
  month = {November},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@PHDTHESIS{Kurtev05,
  author = {I. Kurtev},
  title = {{Adaptability of Model Transformations}},
  school = {University of Twente},
  year = {2005},
  note = {ISBN 90-365-2184-X}
}

@INPROCEEDINGS{KBJV06,
  author = {Kurtev, Ivan and B\'{e}zivin, Jean and Jouault, Fr\'{e}d\'{e}ric
	and Valduriez, Patrick},
  title = {Model-based DSL frameworks},
  booktitle = {Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming
	systems, languages, and applications},
  year = {2006},
  series = {OOPSLA '06},
  pages = {602--616},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {1176632},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1176617.1176632},
  doi = {http://doi.acm.org/10.1145/1176617.1176632},
  isbn = {1-59593-491-X},
  keywords = {DSL engineering, MDA, model-driven engineering, tool-based approaches},
  location = {Portland, Oregon, USA},
  numpages = {15},
  url = {http://doi.acm.org/10.1145/1176617.1176632}
}

@INPROCEEDINGS{KBJ06,
  author = {I. Kurtev and K. van den Berg and F. Jouault},
  title = {{Evaluation of rule-based modularization in model transformation
	languages illustrated with ATL}},
  booktitle = {{Procs. of the 2006 ACM symposium on Applied computing}},
  year = {2006},
  pages = {1202--1209},
  publisher = {ACM Press},
  location = {Dijon, France},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@PHDTHESIS{K04,
  author = {P.W. Kutter},
  title = {{Montages - Engineering of Computer Languages}},
  school = {ETH-Zurich},
  year = {2004}
}

@INPROCEEDINGS{ATOM3,
  author = {J. de Lara and H. Vangheluwe},
  title = {{AT}o{M}$^3$: {A} Tool for Multi-formalism and Meta-modelling},
  booktitle = {FASE},
  year = {2002},
  editor = {Ralf-Detlef Kutsche and Herbert Weber},
  volume = {2306},
  series = LNCS,
  pages = {174--188},
  publisher = {Springer},
  note = {http://link.springer.de/link/service/series/0558/bibs/2306/23060174.htm}
}

@ARTICLE{LB03,
  author = {C. Larman and V.R. Basili},
  title = {{Iterative and Incremental Development: A Brief History}},
  journal = {IEEE Computer},
  year = {2003},
  volume = {36},
  pages = {47-56},
  number = {6}
}

@INPROCEEDINGS{LR07,
  author = {M. Lawley and K. Raymond},
  title = {Implementing a practical declarative logic-based model transformation
	engine.},
  booktitle = {Procs. of the 22nd ACM SAC, MT 2007 - Model Transformation Track,
	Seoul (South Korea)},
  year = {2007},
  pages = {971-977},
  publisher = {ACM}
}

@INPROCEEDINGS{GME,
  author = {A. Ledeczi and M. Maroti and A. Bakay and G. Karsai and J. Garrett
	and C. Thomason and G. Nordstrom and J. Sprinkle and P. Volgyesi},
  title = {{The Generic Modeling Environment}},
  booktitle = {{Procs of ISP}},
  year = {2001},
  address = {Budapest, Hungary},
  month = {17 } # may,
  publisher = {IEEE}
}

@MISC{DLV,
  author = {Nicola Leone and Gerald Pfeifer and Wolfgang Faber and Thomas Eiter
	and Georg Gottlob and Simona Perri and Francesco Scarcello},
  title = {{The DLV System for Knowledge Representation and Reasoning}},
  year = {2004},
  journal = {TOCL},
  owner = {Romina}
}

@CONFERENCE{Lev-DSML,
  author = {T. Levendovszky and D. Balasubramanian and A. Narayanan and G. Karsai},
  title = {A Novel Approach to Semi-Automated Evolution of DSML Model Transformation},
  booktitle = {Second International Conference on Software Language Engineering,
	SLE 2009, LNCS},
  year = {2010},
  volume = {5969},
  address = {Denver, CO},
  month = {05/2010},
  organization = {Springer},
  publisher = {Springer}
}

@ARTICLE{L66,
  author = {V. I. Levenshtein},
  title = {Binary codes capable of correcting deletions, insertions, and reversals},
  journal = {Soviet Physics Doklady},
  year = {1966},
  volume = {10},
  pages = {707-10},
  owner = {Davide},
  timestamp = {2010.04.30}
}

@ARTICLE{LGJ07,
  author = {Y. Lin and J. Gray and F. Jouault},
  title = {{DSMDiff: A Differentiation Tool for Domain-Specific Models}},
  journal = {European Journal of Information Systems},
  year = {2007},
  volume = {16},
  pages = {349-361},
  number = {4},
  month = {August},
  note = {(Special Issue on Model-Driven Systems Development)},
  owner = {Antonio},
  source = {http://www.cis.uab.edu/gray/Pubs/dsmdiff.pdf},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{LZG04,
  author = {Yuehua Lin and Jing Zhang and Jeff Gray},
  title = {{Model Comparison: A Key Challenge for Transformation Testing and
	Version Control in Model Driven Software Development}},
  booktitle = {{OOPSLA Workshop on Best Practices for Model-Driven Software Development}},
  year = {2004},
  location = {Vancouver, BC},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{L07,
  author = {Linington},
  title = {{Black Cats and Coloured Birds ? What do Viewpoint Correspondences
	Do?}},
  year = {2007}
}

@INPROCEEDINGS{LO92,
  author = {E. Lippe and N. {van Oosterom}},
  title = {Operation-based merging},
  booktitle = {Procs of the 5th ACM SIGSOFT symposium on Software development environments
	(SDE 5)},
  year = {1992},
  pages = {78--87},
  address = {New York (NY, USA)},
  publisher = {ACM Press},
  isbn = {0-89791-554-2},
  location = {Tyson's Corner, Virginia, United States},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{LohmannRS04,
  author = {Wolfgang Lohmann and G{\"u}nter Riedewald and Markus Stoy},
  title = {Semantics-preserving migration of semantic rules after left recursion
	removal in attribute grammars},
  booktitle = {{Proceedings of 4th Workshop on Language Descriptions, Tools and
	Applications (LDTA 2004)}},
  year = {2004},
  volume = {110},
  series = {ENTCS},
  pages = {133--148},
  publisher = {Elsevier Science}
}

@PHDTHESIS{Long93,
  author = {D.E. Long},
  title = {{Model Checking, Abstraction and Compositional Reasoning}},
  school = {Carnegie Mellon University},
  year = {1993}
}

@MISC{DeltaXML,
  author = {Monsell EDM Ltd.},
  title = {{DeltaXML}},
  howpublished = {http://www.deltaxml.com},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{Lammel04,
  author = {R. L{\"a}mmel},
  title = {{Coupled Software Transformations (Extended Abstract)}},
  booktitle = {First International Workshop on Software Evolution Transformations},
  year = {2004},
  month = {nov},
  notes = {5 pages}
}

@INPROCEEDINGS{LL01,
  author = {R. L{\"a}mmel and W. Lohmann},
  title = {{Format Evolution}},
  booktitle = {{Proc.\ 7th International Conference on Reverse Engineering for Information
	Systems (RETIS 2001)}},
  year = {2001},
  volume = {155},
  series = {books@ocg.at},
  pages = {113--134},
  publisher = {OCG}
}

@INPROCEEDINGS{LaemmelR99,
  author = {R.~L{\"a}mmel and G.~Riedewald},
  title = {{Reconstruction of paradigm shifts}},
  booktitle = {{Proceedings of the Second Workshop on Attribute Grammars and their
	Applications (WAGA 1999)}},
  year = {1999},
  pages = {37--56},
  month = Mar,
  note = {INRIA Technical Report ISBN 2-7261-1138-6}
}

@MISC{Fowler06,
  author = {M.Fowler},
  title = {{Inversion of Control Containers and the Dependency Injection pattern}},
  year = {2006},
  note = {http://www.martinfowler.com/articles/injection.html},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{MEMC10,
  author = {David M\'ndez and Anne Etien and Alexis Muller and Rubby Casallas},
  title = {Transformation Migration After Metamodel Evolution},
  booktitle = {International Workshop on Models and Evolution (Me'10) - ACM/IEEE
	MODELS'2010},
  year = {2010},
  note = {to appear},
  location = {Oslo, Norway}
}

@ARTICLE{MageeBehavior,
  author = {Jeff Magee},
  title = {{Behavioral analysis of software architectures using LTSA}},
  year = {1999},
  pages = {634--637},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/302405.302726},
  booktitle = {ICSE '99},
  doi = {http://doi.acm.org/10.1145/302405.302726},
  isbn = {1-58113-074-0},
  location = {Los Angeles, California, United States},
  publisher = {ACM}
}

@ARTICLE{LTSA,
  author = {Magee, Jeff and Kramer, Jeff},
  title = {Concurrency: state models \& Java programs},
  year = {1999},
  address = {New York, NY, USA},
  isbn = {0-471-98710-7},
  publisher = {John Wiley \& Sons, Inc.}
}

@ARTICLE{DARWIN,
  author = {Jeff Magee and Jeff Kramer},
  title = {Dynamic structure in software architectures},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {1996},
  volume = {21},
  pages = {3--14},
  number = {6},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/250707.239104},
  doi = {http://doi.acm.org/10.1145/250707.239104},
  issn = {0163-5948},
  publisher = {ACM}
}

@ARTICLE{DarwinFSP,
  author = {Jeff Magee and Jeff Kramer and Dimitra Giannakopoulou},
  title = {Software Architecture Directed Behaviour Analysis},
  year = {1998},
  booktitle = {IWSSD'98}
}

@ARTICLE{duallyTSE,
  author = {Ivano Malavolta and Henry Muccini and Patrizio Pelliccione and Damien
	Tamburri},
  title = {Providing Architectural Languages and Tools Interoperability through
	Model Transformation Technologies},
  journal = {IEEE TSE},
  year = {2009, to appear}
}

@BOOK{LTL,
  title = {The temporal logic of reactive and concurrent systems},
  publisher = {Springer-Verlag New York, Inc.},
  year = {1992},
  author = {Z. Manna and A. Pnueli},
  isbn = {0-387-97664-7},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{MT98,
  author = {V. W. Marek and M. Truszczynski},
  title = {{Stable models and an alternative logic programming paradigm}},
  month = {September},
  year = {1998},
  pages = {375--398}
}

@INPROCEEDINGS{MACM01,
  author = {Am{\'e}lie Marian and Serge Abiteboul and Gregory Cobena and Laurent
	Mignet},
  title = {{Change-Centric Management of Versions in an XML Warehouse.}},
  booktitle = {Proceedings of 27th Int. Conference on Very Large Data Bases (VLDB),
	Roma, Italy},
  year = {2001},
  editor = {Peter M. G. Apers and Paolo Atzeni and Stefano Ceri and Stefano Paraboschi
	and Kotagiri Ramamohanarao and Richard T. Snodgrass},
  pages = {581-590},
  month = {September},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-804-4},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@MISC{MB03,
  author = {F. Marschall and P. Braun},
  title = {{Model Transformations for the MDA with BOTL}},
  bdsk-url-1 = {citeseer.ist.psu.edu/marschall03model.html},
  url = {citeseer.ist.psu.edu/marschall03model.html}
}

@ARTICLE{MKBR10,
  author = {Anne Martens and Heiko Koziolek and Steffen Becker and Ralf Reussner},
  title = {Automatically improve software architecture models for performance,
	reliability, and cost using evolutionary algorithms},
  booktitle = {Proc. of WOSP/SIPEW 2010}
}

@INPROCEEDINGS{MFBADM04,
  author = {D. Matheson and R. France and J. Bieman and R. Alexander and J. DeWitt
	and N. McEachen},
  title = {{Managed Evolution of a Model Driven Development Approach to Software-based
	Solutions}},
  booktitle = {{OOPSLA Workshop on Best Practices for Model-Driven Software Development}},
  year = {2004},
  location = {Vancouver, BC},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@UNPUBLISHED{MS04,
  author = {A. McNeile and N. Simons},
  title = {{Methods of Behaviour Modelling: A Commentary on Behaviour Modelling
	Techniques for MDA}},
  note = {White Paper (Draft). Metamaxim Ltd},
  year = {2004},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@ARTICLE{MRRR02,
  author = {Nenad Medvidovic and David S. Rosenblum and David F. Redmiles and
	Jason E. Robbins},
  title = {{Modeling Software Architectures in the Unified Modeling Language}},
  journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year = {2002},
  volume = {11},
  pages = {2--57},
  number = {1},
  month = {January}
}

@ARTICLE{MT00,
  author = {Nenad Medvidovic and Richard N. Taylor},
  title = {{A Classification and Comparison Framework for Software Architecture
	Description Languages}},
  journal = {IEEE Transactions on Software Engineering},
  year = {2000},
  volume = {26},
  number = {1},
  month = {January}
}

@INPROCEEDINGS{MKK05,
  author = {S. Meli{\'a} and A. Kraus and N. Koch},
  title = {{MDA Transformations Applied to Web Application Development}},
  booktitle = {{International Conference on Web Engineering (ICWE 2005)}},
  year = {2005},
  pages = {465-471}
}

@ARTICLE{MCF03,
  author = {S. J. Mellor and A. N. Clark and T. Futagami},
  title = {{Guest Editors' Introduction: Model-Driven Development}},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {14-18},
  number = {5},
  address = {Los Alamitos, CA, USA},
  issn = {0740-7459}
}

@INPROCEEDINGS{MRB03,
  author = {S. Melnik and E. Rahm and P.A. Bernstein},
  title = {{Rondo: a programming platform for generic model management}},
  booktitle = {Procs Int. Conf. on Management of Data},
  year = {2003},
  pages = {193--204},
  publisher = {ACM Press}
}

@ARTICLE{Mens02,
  author = {T. Mens},
  title = {{A State-of-the-Art Survey on Software Merging}},
  journal = {IEEE Trans. Softw. Eng.},
  year = {2002},
  volume = {28},
  pages = {449--462},
  number = {5},
  owner = {Antonio},
  publisher = {IEEE Press},
  timestamp = {2007.10.05}
}

@TECHREPORT{MBRZ03,
  author = {T. Mens and J. Buckley and A. Rashid and M. Zenger},
  title = {Towards a taxonomy of software evolution},
  institution = {Vrije Universiteit Brussel},
  year = {2003},
  number = {vub-prog-tr-02-05},
  note = {Position paper at Workshop on Unanticipated Software Evolution, Warshau
	(Poland)}
}

@INPROCEEDINGS{MCVG04,
  author = {Tom Mens and Krzysztof Czarnecki and Pieter Van Gorp},
  title = {{A Taxonomy of Model Transformations}},
  booktitle = {Language Engineering for Model-Driven Software Development, 29. February
	- 5. March 2004},
  year = {2004},
  editor = {Jean B{\'e}zivin and Reiko Heckel},
  volume = {04101},
  series = {Dagstuhl Seminar Proceedings},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik
	(IBFI), Schloss Dagstuhl, Germany},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://drops.dagstuhl.de/opus/volltexte/2005/11}
}

@ARTICLE{MVG06,
  author = {T. Mens and P. Van Gorp},
  title = {{A Taxonomy of Model Transformation.}},
  journal = {Electr. Notes Theor. Comput. Sci.},
  year = {2006},
  volume = {152},
  pages = {125-142}
}

@ARTICLE{MTR05,
  author = {Tom Mens and Gabriele Taentzer and Olga Runge},
  title = {{Detecting Structural Refactoring Conflicts Using Critical Pair Analysis}},
  journal = {Electr. Notes Theor. Comput. Sci},
  year = {2005},
  volume = {127},
  pages = {113--128},
  number = {3},
  bibdate = {2005-05-20},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{MPV06,
  author = {N. Moreno and P. Fraternalli and A. Vallecillo},
  title = {{A UML 2.0 profile for WebML modeling}},
  booktitle = {ICWE '06: Workshop proceedings of the sixth International Conference
	on Web engineering},
  year = {2006},
  pages = {4},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  location = {Palo Alto, California}
}

@INPROCEEDINGS{MRV05,
  author = {N. Moreno and R. Romero and A. Vallecillo},
  title = {{Software Adaptation in the Context of MDA}},
  booktitle = {{Procs. of the Second Int. Workshop on Coordination and Adaptation
	Techniques for Software Entities (WCAT05)}},
  year = {2005},
  pages = {7},
  month = {July},
  location = {Glasgow, Scotland, UK},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{MHT04,
  author = {S.-C. Mu and Z. Hu and M. Takeichi},
  title = {{An Injective Language for Reversible Computation}},
  booktitle = {Procs. of the 7th Int. Conf. on Mathematics of Program Construction,
	(MPC 2004), Stirling, Scotland, UK, July 12-14},
  year = {2004},
  editor = {D. Kozen and C. Shankland},
  volume = {3125},
  series = {LNCS},
  pages = {289-313},
  publisher = {Springer}
}

@ARTICLE{MHT2004,
  author = {Shin-Cheng Mu and Zhenjiang Hu and Masato Takeichi},
  title = {An Algebraic Approach to Bi-Directional Updating},
  year = {2004},
  pages = {2--18},
  booktitle = {In ASIAN Symposium on Programming Languages and Systems (APLAS},
  owner = {Romina},
  publisher = {Springer},
  timestamp = {2010.11.12}
}

@ARTICLE{IEEE_TSE04,
  author = {H. Muccini and A. Bertolino and P. Inverardi},
  title = {{Using Software Architecture for Code Testing}},
  journal = {IEEE Trans. on Software Engineering},
  year = {March 2004},
  volume = {30},
  number = {3},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{MR94,
  author = {Stephen Muggleton and Luc De Raedt},
  title = {{Inductive Logic Programming: Theory and Methods}},
  journal = {J. Log. Program.},
  year = {1994},
  volume = {19/20},
  pages = {629-679},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{KERMETA,
  author = {P-A. Muller and F. Fleurey and J-M. J\'ez\'equel},
  title = {{Weaving Executability into Object-Oriented Metalanguages}},
  booktitle = {ACM/IEEE 8th International Conference on Model Driven Engineering
	Languages and Systems},
  year = {2005},
  pages = {264--278},
  address = {Montego Bay}
}

@INPROCEEDINGS{MSB03,
  author = {P.-A. Muller and P. Studer and J. Bezivin},
  title = {{Platform Independent Web Application Modeling}},
  booktitle = {{UML} 2003},
  year = {2003},
  volume = {2863},
  series = LNCS,
  pages = {220--233},
  publisher = {Springer}
}

@ARTICLE{Murata89,
  author = {T. Murata},
  title = {{Petri nets: Properties, analysis and applications}},
  journal = {Proceedings of the IEEE},
  year = {1989},
  volume = {77},
  pages = {541-580},
  number = {4},
  bdsk-url-1 = {http://dx.doi.org/10.1109/5.24143},
  doi = {10.1109/5.24143},
  issn = {0018-9219}
}

@INBOOK{Murugesan07,
  chapter = {{2. Web Application Development: Challenges and the Role of Web Engineering}},
  pages = {7--32},
  title = {{Web Engineering: Modelling and Implementing Web Applications}},
  publisher = {Springer},
  year = {2007},
  author = {S. Murugesan}
}

@ARTICLE{Myers86,
  author = {Eugene W. Myers},
  title = {{An O(ND) Difference Algorithm and Its Variations.}},
  journal = {Algorithmica},
  year = {1986},
  volume = {1},
  pages = {251-266},
  number = {2},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{TowTrMigr,
  author = {D. M√{\textregistered}ndez and A. Etienne and A. Muller and R.
	Casallas},
  title = {{Transformation Migration After Metamodel Evolution}},
  year = {2010},
  owner = {Ludovico},
  timestamp = {2010.12.03}
}

@INPROCEEDINGS{MV04,
  author = {N. Moreno, A. Vallecillo},
  title = {{Using MDA for Designing and Implementing Web-based Applications}},
  booktitle = {{International Conference on Web Engineering (ICWE 2004)}},
  year = {2004},
  address = {Munich, Germany},
  note = {Tutorial}
}

@INPROCEEDINGS{NFH05,
  author = {I. Neamtiu and J.S. Foster and M. Hicks},
  title = {Understanding source code evolution using abstract syntax tree matching},
  booktitle = {Procs of the 2005 Int. Workshop on Mining Software Repositories (MSR
	'05), St. Louis, Missouri (USA)},
  year = {2005},
  pages = {1--5},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  isbn = {1-59593-123-6},
  location = {St. Louis, Missouri},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@INPROCEEDINGS{NSCEZ07,
  author = {Shiva Nejati and Mehrdad Sabetzadeh and Marsha Chechik and Steve
	Easterbrook and Pamela Zave},
  title = {Matching and Merging of Statecharts Specifications},
  booktitle = {ICSE '07: Proceedings of the 29th international conference on Software
	Engineering},
  year = {2007},
  pages = {54--64},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/ICSE.2007.50},
  doi = {http://dx.doi.org/10.1109/ICSE.2007.50},
  isbn = {0-7695-2828-7}
}

@INPROCEEDINGS{NEF03,
  author = {C. Nentwich and W. Emmerich and A. Finkelstein},
  title = {{Consistency Management with Repair Actions}},
  booktitle = {Procs. of the 25th Int. Conf. on Software Engineering (ICSE 2003),
	May 3-10, Portland, Oregon, USA},
  year = {2003},
  pages = {455-464},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{Nguyen06,
  author = {Nguyen, T.N.},
  title = {Model-based version and configuration management for a web engineering
	lifecycle},
  booktitle = {WWW '06: Proceedings of the 15th international conference on World
	Wide Web},
  year = {2006},
  pages = {437--446},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1135777.1135842},
  doi = {http://doi.acm.org/10.1145/1135777.1135842},
  isbn = {1-59593-323-9},
  location = {Edinburgh, Scotland}
}

@MISC{MagicDraw,
  author = {{No Magic Inc.}},
  title = {{MagicDraw}},
  note = {http://www.magicdraw.com/},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{NS06,
  author = {D. Nunes and D. Schwabe},
  title = {Rapid prototyping of web applications combining domain specific languages
	and model driven design},
  booktitle = {ICWE '06: Procs of the 6th Int. Conf. on Web Engineering},
  year = {2006},
  pages = {153--160},
  publisher = {ACM},
  location = {Palo Alto, California, USA}
}

@MISC{ACCELEO,
  author = {Obeo},
  title = {Acceleo},
  howpublished = {http://www.acceleo.org},
  owner = {Davide},
  timestamp = {2009.02.13}
}

@MISC{CORBA,
  author = {{Object Management Group (OMG)}},
  title = {{Common Object Request Broker Architecture (CORBA/IIOP), v3.0.3}},
  note = {OMG document formal/04-03-01}
}

@MISC{MOFSCRIPT,
  author = {{Object Management Group (OMG)}},
  title = {{MOF Model to Text Transformation}},
  note = {{OMG Document ad/05-05-04.pdf }}
}

@MISC{QVT-Final,
  author = {{Object Management Group (OMG)}},
  title = {{MOF 2.0 QVT Final Adopted Specification v1.1}},
  year = {2011},
  note = {OMG Adopted Specification formal/2011-01-01}
}

@MISC{CWM,
  author = {{Object Management Group (OMG)}},
  title = {{Common Warehouse Metamodel Specification}},
  year = {2007},
  note = {http://www.omg.org/technology/cwm/},
  owner = {diruscio},
  timestamp = {2007.12.14}
}

@MISC{MOF-Versioning07,
  author = {{Object Management Group (OMG)}},
  title = {{MOF Versioning and Development Lifecycle Specification, v2.0}},
  month = {May},
  year = {2007},
  note = {OMG Document: formal/07-05-01},
  owner = {Antonio},
  timestamp = {2007.10.29}
}

@MISC{OCL,
  author = {{Object Management Group (OMG)}},
  title = {{OCL 2.0 Specification}},
  year = {2006},
  note = {OMG Document formal/2006-05-01}
}

@MISC{SPEM06,
  author = {{Object Management Group (OMG)}},
  title = {{Software Process Engineering Metamodel}},
  year = {2006},
  note = {formal/2005-01-06},
  owner = {diruscio},
  timestamp = {2007.12.10}
}

@MISC{UML06,
  author = {{Object Management Group (OMG)}},
  title = {{Unified Modeling Language: Infrastructure version 2.0}},
  year = {2006},
  note = {http://www.omg.org/docs/formal/05-07-05},
  owner = {diruscio},
  timestamp = {2007.12.14}
}

@MISC{MDA03,
  author = {{Object Management Group (OMG)}},
  title = {{MDA Guide version 1.0.1}},
  year = {2003},
  note = {{OMG Document: omg/2003-06-01}}
}

@MANUAL{MOF,
  title = {{Meta Object Facility ({M}{O}{F}) 2.0 Core Specification, OMG Document
	ptc/03-10-04}},
  author = {{Object Management Group (OMG)}},
  address = {http://www.omg.org/docs/ptc/03-10-04.pdf},
  year = {2003}
}

@MISC{UML2,
  author = {{Object Management Group (OMG)}},
  title = {{UML 2.0 Infrastructure Final Adopted Specification}},
  year = {2003},
  note = {{OMG document ptc/03-09-15}},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{XMI03,
  author = {{Object Management Group (OMG)}},
  title = {{XMI 2.0 XML Metadata Interchange}},
  year = {2003},
  note = {OMG document formal/2003-05-02},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{QVT-RFP,
  author = {{Object Management Group (OMG)}},
  title = {{MOF 2.0 Query/Views/Transformations RFP}},
  year = {2002},
  note = {{OMG document ad/02-04-10}}
}

@MISC{XMI02,
  author = {{Object Management Group (OMG)}},
  title = {{XMI Specification, v1.2}},
  year = {2002},
  note = {OMG Document formal/02-01-01}
}

@MISC{MDA01,
  author = {{Object Management Group (OMG)}},
  title = {{Model Driven Architecture - A Technical Perspective}},
  year = {2001},
  note = {OMG Document: ormsc/01-07-01},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{UML,
  author = {{Object Management Group (OMG)}},
  title = {{Unified Modelling Language (UML) V1.4}},
  year = {2001}
}

@INPROCEEDINGS{OWKDiffTools03,
  author = {D. Ohst and M. Welle and U. Kelter},
  title = {{Difference Tools for Analysis and Design Documents.}},
  booktitle = {19th Int. Conf. on Software Maintenance (ICSM 2003)},
  year = {2003},
  pages = {13-22},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@ARTICLE{OWKDiffUML03,
  author = {D. Ohst and M. Welle and U. Kelter},
  title = {{Differences between versions of UML diagrams}},
  journal = {SIGSOFT Softw. Eng. Notes},
  year = {2003},
  volume = {28},
  pages = {227--236},
  number = {5},
  address = {New York, NY, USA},
  publisher = {ACM}
}

@MISC{TRL,
  author = {{OpenQVT}},
  title = {{Response to the MOF 2.0 Queries / Views / Transformations RFP}},
  year = {2003},
  note = {{OMG Document ad/2003-08-05}}
}

@INCOLLECTION{OverbeyJ08,
  author = {Overbey, Jeffrey L. and Johnson, Ralph E.},
  title = {Software Language Engineering},
  publisher = {Springer-Verlag},
  year = {2009},
  editor = {Ga\v{s}evi\'{c}, Dragan and L\"{a}mmel, Ralf and Wyk, Eric},
  chapter = {Generating Rewritable Abstract Syntax Trees},
  pages = {114--133},
  address = {Berlin, Heidelberg},
  acmid = {1532459},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-00434-6_8},
  doi = {http://dx.doi.org/10.1007/978-3-642-00434-6_8},
  isbn = {978-3-642-00433-9},
  numpages = {20},
  url = {http://dx.doi.org/10.1007/978-3-642-00434-6_8}
}

@ARTICLE{PBJ07,
  author = {Paige and Brooke and Jonathan},
  title = {{Metamodel-based model conformance and multiview consistency checking}},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {2007},
  publisher = {ACM Press}
}

@INPROCEEDINGS{PBO04,
  author = {R. Paige and P. Brooke and J. Ostroff},
  title = {{Specification-driven development of an executable metamodel in Eiffel}},
  booktitle = {In Procs of Workshop in Software Model Engineering (WiSME)},
  year = {2004}
}

@INBOOK{GD-HOT,
  pages = {34--49},
  title = {Managing Model Adaptation by Precise Detection of Metamodel Changes},
  publisher = {Springer Berlin / Heidelberg},
  year = {2009},
  author = {Paige, Richard and Hartman, Alan and Rensink, Arend and Garc{\'e}s,
	Kelly and Jouault, Fr{\'e}d{\'e}ric and Cointe, Pierre and B{\'e}zivin,
	Jean},
  volume = {5562},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02674-4_4},
  booktitle = {Model Driven Architecture - Foundations and Applications},
  date-added = {2011-03-31 09:55:11 +0200},
  date-modified = {2011-03-31 09:55:11 +0200},
  do = {10.1007/978-3-642-02674-4{\_}4},
  title1 = {LNCS},
  ty = {CHAP},
  url = {http://dx.doi.org/10.1007/978-3-642-02674-4_4}
}

@INBOOK{Paige:2009fk,
  pages = {114--129},
  title = {Derivation and Refinement of Textual Syntax for Models},
  publisher = {Springer Berlin / Heidelberg},
  year = {2009},
  author = {Paige, Richard and Hartman, Alan and Rensink, Arend and Heidenreich,
	Florian and Johannes, Jendrik and Karol, Sven and Seifert, Mirko
	and Wende, Christian},
  volume = {5562},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-02674-4_9},
  booktitle = {Model Driven Architecture - Foundations and Applications},
  date-added = {2011-03-30 12:09:45 +0200},
  date-modified = {2011-03-30 12:09:45 +0200},
  do = {10.1007/978-3-642-02674-4{\_}9},
  title1 = {LNCS},
  ty = {CHAP},
  url = {http://dx.doi.org/10.1007/978-3-642-02674-4_9}
}

@ARTICLE{POB00,
  author = {R.F. Paige and J.S. Ostroff and P.J. Brooke},
  title = {Principles for modeling language design},
  journal = {Information {\&} Software Technology},
  year = {2000},
  volume = {42},
  pages = {665-675},
  number = {10},
  editor = {Elsevier}
}

@PHDTHESIS{PP_PhDThesis,
  author = {Patrizio Pelliccione},
  title = {{CHARMY: A framework for Software Architecture Specification and
	Analysis}},
  school = {Computer Science Dept., University of L'Aquila},
  year = {2005},
  month = {May},
  owner = {Antonio},
  paperlocation = {http://www.di.univaq.it/pellicci/publications.php},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{PW92,
  author = {D. E. Perry and A. L. Wolf},
  title = {{Foundations for the study of Software Architecture}},
  booktitle = {SIGSOFT Software Engineering Notes},
  year = {1992},
  volume = {17},
  number = {4},
  pages = {40-52},
  month = oct
}

@MISC{beContent06,
  author = {Alfonso Pierantonio},
  title = {{beContent}},
  year = {2006},
  note = {http://www.becontent.org},
  owner = {Antonio},
  timestamp = {2007.10.15}
}

@ARTICLE{PHRS07,
  author = {Ploski, J. and Hasselbring, W. and Rehwinkel, J. and Schwierz, S.},
  title = {Introducing Version Control to Database-Centric Applications in a
	Small Enterprise},
  journal = {IEEE Softw.},
  year = {2007},
  volume = {24},
  pages = {38--44},
  number = {1},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1109/MS.2007.17},
  doi = {http://dx.doi.org/10.1109/MS.2007.17},
  issn = {0740-7459},
  publisher = {IEEE Computer Society Press}
}

@TECHREPORT{SOS,
  author = {G. D. Plotkin},
  title = {{A Structural Approach to Operational Semantics}},
  year = {1981},
  number = {DAIMI FN-19},
  address = {University of Aarhus},
  bdsk-url-1 = {citeseer.ist.psu.edu/plotkin81structural.html},
  url = {citeseer.ist.psu.edu/plotkin81structural.html}
}

@INPROCEEDINGS{P77,
  author = {A. Pnueli},
  title = {{The temporal logic of programs.}},
  booktitle = {Proc. 18th IEEE Symposium on Foundation of Computer Science},
  year = {1977},
  pages = {pp. 46-57},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{PB03,
  author = {R. Pottinger and P. A. Bernstein},
  title = {{Merging Models Based on Given Correspondences}},
  booktitle = {VLDB},
  year = {2003},
  pages = {826--873}
}

@MISC{pscWeb,
  author = {{PSC Project}},
  title = {{PSC web site}},
  howpublished = {{http://www.di.univaq.it/psc2ba}},
  month = {April},
  year = {2005},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{EB06,
  author = {Rahm, Erhard and Bernstein, Philip A.},
  title = {An online bibliography on schema evolution},
  journal = {SIGMOD Rec.},
  year = {2006},
  volume = {35},
  pages = {30--31},
  number = {4},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1228268.1228273},
  doi = {http://doi.acm.org/10.1145/1228268.1228273},
  issn = {0163-5808},
  publisher = {ACM}
}

@ARTICLE{RJ01,
  author = {B. Ramesh and M. Jarke},
  title = {{Toward Reference Models for Requirements Traceability}},
  journal = {IEEE Trans. Softw. Eng.},
  year = {2001},
  volume = {27},
  pages = {58--93},
  number = {1},
  owner = {Antonio},
  publisher = {IEEE Press},
  timestamp = {2007.10.05}
}

@ARTICLE{RC06,
  author = {R. C. Read and D. G. Corneil},
  title = {The graph isomorphism disease},
  journal = {Journal of Graph Theory},
  year = {1977},
  volume = {1},
  pages = {339-363},
  number = {4},
  j. = {J. of Graph Theory},
  owner = {Davide},
  publisher = {Wiley Periodicals, Inc.},
  timestamp = {2009.01.15}
}

@INPROCEEDINGS{RKRW05,
  author = {T. Reiter and E. Kapsammer and W. Retschitzegger and M. Wimmer},
  title = {{Model Integration Through Mega Operations}},
  booktitle = {Workshop on Model-driven Web Engineering (MDWE 2005)},
  year = {2005},
  month = {Jul},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{RW98,
  author = {J. Rho and C. Wu},
  title = {{An efficient version model of software diagrams}},
  booktitle = {{5th Asia-Pacific Software Engineering Conf.}},
  year = {1998},
  publisher = {IEEE Computer Society},
  owner = {Antonio},
  timestamp = {2007.10.18}
}

@ARTICLE{RC09,
  author = {F. Ricca and L. Chao},
  title = {Special section on Web Systems Evolution},
  journal = {International Journal on Software Tools for Technology Transfer (STTT)},
  year = {2009},
  volume = {11},
  pages = {419-425},
  issn = {1433-2779},
  issue = {6},
  publisher = {Springer Berlin / Heidelberg}
}

@INPROCEEDINGS{RS04,
  author = {E. Riccobene and P. Scandurra},
  title = {{Towards an Interchange Language for {ASM}s}},
  booktitle = {Abstract State Machines 2004. Advances in Theory and Practice, 11th
	International Workshop},
  year = {2004},
  editor = {Wolf Zimmermann and Bernhard Thalheim},
  volume = {3052},
  series = LNCS,
  pages = {111--126},
  publisher = {Springer}
}

@INPROCEEDINGS{RG99,
  author = {Mark Richters and Martin Gogolla},
  title = {{A Metamodel for OCL}},
  booktitle = {Procs of the 2nd Int. Conf. on The Unified Modeling Language. Beyond
	the Standard, UML'99, Fort Collins, CO, USA, October 28-30},
  year = {1999},
  editor = {Robert France and Bernhard Rumpe},
  volume = {1723},
  series = {LNCS},
  pages = {156--171},
  publisher = {Springer}
}

@INCOLLECTION{RV08,
  author = {J.E. Rivera and A. Vallecillo},
  title = {{Representing and Operating with Model Differences}},
  booktitle = {Objects, Components, Models and Patterns},
  publisher = {Springer Berlin Heidelberg},
  year = {2008},
  volume = {11},
  series = {LNBIP},
  pages = {141-160}
}

@INPROCEEDINGS{RV07,
  author = {J.E. Rivera and A. Vallecillo},
  title = {Un acercamiento a la representaci\'on e implementaci\'on de la diferencia
	entre modelos},
  booktitle = {Actas del IV Taller sobre Desarrollo de Software Dirigido por Modelos
	(DSDM 2007)},
  year = {2007},
  pages = {1--10},
  address = {Zaragoza, Spain},
  month = sep,
  note = {ISSN 1988-3455. \url{http://www.sistedes.es/TJISBD/Vol-1/No-6/DSDM07.pdf}}
}

@INPROCEEDINGS{RKJ04,
  author = {S. Roh and K. Kim and T. Jeon},
  title = {{{Architecture Modeling Language based on UML2.0}}},
  booktitle = {{{Proocedings of the 11th Asia-Pacific Software Engineering Conference
	(APSEC'04)}}},
  year = {2004}
}

@INPROCEEDINGS{REMKPP10,
  author = {L. Rose and A. Etien and D. M\'{e}ndez and D. Kolovos and R. Paige
	and F. Polack},
  title = {Comparing Model-Metamodel and Transformation-Metamodel Coevolution},
  booktitle = {International Workshop on Models and Evolutions},
  year = {2010},
  owner = {Davide},
  timestamp = {2010.10.29}
}

@INPROCEEDINGS{RKPP10,
  author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona
	A. C. Polack},
  title = {Model Migration with Epsilon Flock},
  booktitle = {ICMT},
  year = {2010},
  pages = {184-198}
}

@ARTICLE{RPKP09,
  author = {Louis M. Rose and Richard F. Paige and Dimitrios S. Kolovos and Fiona
	A.C. Polack},
  title = {An Analysis of Approaches to Model Migration},
  journal = {Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International
	Conference on Model Driven Engineering, Languages and Systems},
  year = {2009},
  note = {to appear},
  owner = {Davide},
  timestamp = {2010.02.05}
}

@BOOK{RPSO07,
  title = {Web Engineering: Modelling and Implementing Web Applications},
  publisher = {Springer},
  year = {2007},
  author = {G. Rossi and O. Pastor and D. Schwabe and L. Olsina},
  series = {Human-Computer Interaction Series}
}

@MANUAL{Darcs07,
  title = {Darcs 1.1.0pre1},
  author = {D. Roundy},
  month = {June 30},
  year = {2007},
  note = {\url{http://darcs.net/manual/darcs.html}},
  owner = {Antonio},
  timestamp = {2007.10.29}
}

@ARTICLE{RLFCF05,
  author = {C. M. F. Rubira and R. de Lemos and G. R. M. Ferreira and F. Castor
	Filho},
  title = {Exception handling in the development of dependable component-based
	systems},
  journal = {Software: Practice and Experience},
  year = {2005},
  volume = {35},
  pages = {195--236},
  number = {3},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1002/spe.v35:3},
  doi = {http://dx.doi.org/10.1002/spe.v35:3},
  issn = {0038-0644},
  publisher = {John Wiley \& Sons, Inc.}
}

@MISC{DPWCODE,
  author = {D. Di Ruscio and A.Pierantonio},
  title = {{Model Weaving ASMs code}},
  note = {http//www.di.univaq.it/diruscio/weaving.php},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@ARTICLE{SKL90,
  author = {Saraswat, Vijay A. and Kahn, Ken and Levy, Jacob},
  title = {Janus: a step towards distributed constraint programming},
  year = {1990},
  pages = {431--446},
  acmid = {123082},
  address = {Cambridge, MA, USA},
  bdsk-url-1 = {http://portal.acm.org/citation.cfm?id=122961.123082},
  booktitle = {Proceedings of the 1990 North American conference on Logic programming},
  isbn = {0-262-54058-4},
  location = {Austin, Texas, United States},
  numpages = {16},
  owner = {Romina},
  publisher = {MIT Press},
  timestamp = {2011.02.22},
  url = {http://portal.acm.org/citation.cfm?id=122961.123082}
}

@INBOOK{S94,
  chapter = {Specification of graph translators with triple graph grammars},
  pages = {151-163},
  title = {{Graph-Theoretic Concepts in Computer Science}},
  publisher = {Springer Berlin/Heidelberg},
  year = {1995},
  author = {Andy Schurr},
  owner = {diruscio},
  timestamp = {2007.12.13}
}

@BOOK{SWZ99,
  title = {{Handbook on Graph Grammars and Graph Transformation}},
  publisher = {World Scientific},
  year = {1999},
  author = {A. Sch\"{u}rr and A. Winter and A. Z\"{u}ndorf},
  pages = {487-500}
}

@INPROCEEDINGS{SWK06,
  author = {A. Schauerhuber and M. Wimmer and E. Kapsammer},
  title = {{Bridging existing Web Modeling Languages to Model-Driven Engineering:
	A Metamodel for WebML}},
  booktitle = {2nd International Workshop on Model-Driven Web Engineering},
  year = {2006},
  address = {Palo Alto, California},
  month = {July},
  note = {to appear}
}

@ARTICLE{SWKSR07,
  author = {Schauerhuber, A. and Wimmer, M. and Kapsammer, E. and Schwinger,
	W. and Retschitzegger, W.},
  title = {Bridging WebML to model-driven engineering: from document type definitions
	to meta object facility},
  journal = {Software, IET},
  year = {2007},
  volume = {1},
  pages = {81--97},
  number = {3},
  month = {jun.}
}

@MISC{TEF,
  author = {Scheidgen},
  title = {Textual editing framework},
  howpublished = {\url{http://www2.informatik.hu-berlin.de}},
  bdsk-url-1 = {http://www2.informatik.hu-berlin.de},
  date-added = {2011-03-30 13:01:19 +0200},
  date-modified = {2011-03-31 10:07:18 +0200},
  read = {0},
  url = {http://www2.informatik.hu-berlin.de},
  urldate = {2010}
}

@MISC{ASMGOFER,
  author = {J. Schmid},
  title = {{Executing ASM specifications with AsmGofer}},
  note = {http://www.tydo.de/AsmGofer.}
}

@ARTICLE{SC01,
  author = {J. Schmid},
  title = {{Compiling Abstract State Machines to C++}},
  journal = JUCS,
  year = {2001},
  volume = {7},
  pages = {1069--1088},
  number = {11}
}

@ARTICLE{MDE,
  author = {D.C. Schmidt},
  title = {{Guest Editor's Introduction: Model-Driven Engineering}},
  journal = {Computer},
  year = {2006},
  volume = {39},
  pages = {25-31},
  number = {2},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.58},
  doi = {http://doi.ieeecomputersociety.org/10.1109/MC.2006.58},
  issn = {0018-9162},
  owner = {Antonio},
  publisher = {IEEE Computer Society},
  timestamp = {2007.10.17}
}

@ARTICLE{MDES06,
  author = {D. C. Schmidt},
  title = {{Guest Editor's Introduction: Model-Driven Engineering}},
  journal = {IEEE Computer},
  year = {2006},
  volume = {39},
  pages = {25--31},
  number = {2},
  bibdate = {2006-04-27}
}

@ARTICLE{SERL01,
  author = {Schwabe, D. and Esmeraldo, L. and Rossi, G. and Lyardet, F.},
  title = {{Engineering Web Applications for Reuse}},
  journal = {IEEE MultiMedia},
  year = {2001},
  volume = {8},
  pages = {20--31},
  number = {1},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1109/93.923950},
  doi = {http://dx.doi.org/10.1109/93.923950},
  issn = {1070-986X},
  publisher = {IEEE Computer Society Press}
}

@ARTICLE{SR98,
  author = {D. Schwabe and G. Rossi},
  title = {{An object oriented approach to Web-based applications design}},
  journal = {Theor. Pract. Object Syst.},
  year = {1998},
  volume = {4},
  pages = {207--225},
  number = {4},
  note = {{John Wiley \& Sons, Inc.}}
}

@ARTICLE{SRSKW08,
  author = {W. Schwinger and W. Retschitzegger and A. Schauerhuber and G. Kappel
	and M. Wimmer and B. Pr\"oll and C. Castro Cachero and S. Casteleyn
	and O. De Troyer and P. Fraternali and I. Garrigos and F. Garzotto
	and A. Ginige and G. Houben and N. Koch and N. Moreno and O. Pastor
	and P. Paolini and V. Ferragud Pelechano and G. Rossi and D. Schwabe
	and M. Tisi and A. Vallecillo and K. van der Sluijs and G. Zhang},
  title = {A survey on web modeling approaches for ubiquitous web applications},
  journal = {International Journal of Web Information Systems (IJWIS)},
  year = {2008},
  volume = {4},
  pages = {234 - 305},
  number = {3},
  publisher = {Emerald}
}

@INPROCEEDINGS{TGG,
  author = {Andy Sch{\"u}rr},
  title = {Specification of Graph Translators with Triple Graph Grammars},
  booktitle = {in Proc. of the 20th Int. Workshop on Graph-Theoretic Concepts in
	Computer Science (WG `94), Herrsching (D},
  year = {1995},
  publisher = {Springer}
}

@INBOOK{MCLmodels,
  pages = {706--711},
  title = {Automatic Domain Model Migration to Manage Metamodel Evolution},
  publisher = {Springer Berlin / Heidelberg},
  year = {2009},
  author = {Sch{\"u}rr, Andy and Selic, Bran and Narayanan, Anantha and Levendovszky,
	Tihamer and Balasubramanian, Daniel and Karsai, Gabor},
  volume = {5795},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-04425-0_57},
  booktitle = {Model Driven Engineering Languages and Systems},
  date-added = {2011-02-17 15:05:16 +0100},
  date-modified = {2011-02-17 15:05:31 +0100},
  do = {10.1007/978-3-642-04425-0{\_}57},
  title1 = {LNCS},
  ty = {CHAP},
  url = {http://dx.doi.org/10.1007/978-3-642-04425-0_57}
}

@ARTICLE{S03,
  author = {Ed Seidewitz},
  title = {{What Models Mean}},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {26--32},
  number = {5},
  month = sep # {\slash } # oct
}

@ARTICLE{MDD,
  author = {B. Selic},
  title = {{The Pragmatics of Model-driven Development}},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {19--25},
  number = {5}
}

@ARTICLE{Selkow77,
  author = {Stanley M. Selkow},
  title = {{The Tree-to-Tree Editing Problem.}},
  journal = {Information Processing Letters},
  year = {1977},
  volume = {6},
  pages = {184-186},
  number = {6},
  month = {Dec},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{SK03,
  author = {Shane Sendall and Wojtek Kozaczynski},
  title = {{Model Transformation: The Heart and Soul of Model-Driven Software
	Development}},
  journal = {IEEE Software},
  year = {2003},
  volume = {20},
  pages = {42-45},
  number = {5},
  address = {Los Alamitos, CA, USA},
  bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/MS.2003.1231150},
  doi = {http://doi.ieeecomputersociety.org/10.1109/MS.2003.1231150},
  issn = {0740-7459},
  publisher = {IEEE Computer Society}
}

@ARTICLE{SAVEIDE,
  author = {S\'{e}verine Sentilles and Anders Pettersson and Dag Nystr{\"{o}}m
	and Thomas Nolte and Paul Pettersson and Ivica Crnkovic},
  title = {{Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based
	Embedded Systems}},
  year = {2009},
  pages = {607-610},
  month = {May},
  bdsk-url-1 = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1608},
  booktitle = {{Proceedings of the Research Demo Track of the 31st International
	Conference on Software Engineering (ICSE'09)}},
  url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1608}
}

@TECHREPORT{SR03,
  author = {G. Shankaranarayanan and S. Ram},
  title = {Research issues in database schema evolution: the road not taken},
  institution = {University of Arizona},
  year = {2003},
  type = {Working Paper},
  number = {\#2003-15}
}

@BOOK{SG96,
  title = {{Software Architecture: Perspectives on an Emerging Discipline}},
  publisher = {Prentice-Hall, Englewood Cliffs},
  year = {1996},
  author = {Mary Shaw and David Garlan}
}

@ARTICLE{SG95,
  author = {Mary Shaw and David Garlan},
  title = {{Formulations and Formalisms in Software Architecture}},
  journal = {Computer Science Today: Recent Trends and Developments},
  year = {1995},
  note = {J. van Leeuwen, Springer-Verlag}
}

@MISC{SIMMETRIC,
  author = {SimMetrics},
  title = {Similarity Metrics Library},
  howpublished = {http://www.dcs.shef.ac.uk/~sam/simmetrics.html},
  owner = {Davide},
  timestamp = {2010.04.30}
}

@BOOK{OBJECTZ,
  title = {{The Object-Z specification language}},
  publisher = {Kluwer Academic Publishers},
  year = {2000},
  author = {G. Smith},
  address = {Norwell, MA, USA},
  isbn = {0-7923-8684-1}
}

@MISC{ZNF,
  author = {Zeronotice Information Technology Solutions},
  title = {{ZNF}},
  note = {http://znf.zeronotice.com/},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{Mercury,
  author = {Z. Somogyi and F. Henderson and T. Conway},
  title = {{Mercury: an efficient purely declarative logic programming language}},
  booktitle = {Australian Computer Science Conference},
  year = {1995},
  pages = {499--512},
  address = {Glenelg, Australia},
  month = {February}
}

@MISC{SparxEA,
  author = {{Sparx Systems Pty Ltd.}},
  title = {{Enterprise Architect - Version 7.0}},
  note = {http://www.sparxsystems.com.au/products/ea.html},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{SALSK03,
  author = {J. Sprinkle and A. Agrawal and T. Levendovszky and F. Shi and G.
	Karsai},
  title = {{Domain Model Translation Using Graph Transformations}},
  booktitle = {10th IEEE Int. Conf. and Workshop on the Engineering of Computer-Based
	Systems},
  year = {2003},
  pages = {159--168},
  publisher = {IEEE Computer Society}
}

@ARTICLE{SK04,
  author = {J. Sprinkle and G. Karsai},
  title = {A domain-specific visual language for domain model evolution},
  journal = {Journal of Visual Languages \& Computing},
  year = {2004},
  volume = {15},
  pages = {291-307},
  number = {3-4}
}

@BOOK{SWCC03,
  title = {{The Application of Dependence Analysis to Software Architecture
	Descriptions}},
  publisher = {Springer-Verlag},
  year = {2003},
  author = {Judith A. Stafford and Alexander L. Wolf and M. Caporuscio},
  volume = {LNCS},
  month = {09},
  note = {Chapter in Formal Methods for Software Architectures - SFM-03:SA
	Lectures.},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{SJ05,
  author = {J. Steel and J-M. J{\'e}z{\'e}quel},
  title = {{Model Typing for Improving Reuse in Model-Driven Engineering.}},
  booktitle = {{Model Driven Engineering Languages and Systems (MoDELS)}},
  year = {2005},
  volume = {3713},
  series = LNCS,
  pages = {84-96},
  month = oct,
  publisher = Springer
}

@INPROCEEDINGS{SHU04,
  author = {D. Stein and S. Hanenberg and R. Unland},
  title = {{A Graphical Notation to Specify Model Queries for MDA Transformations
	on UML Models.}},
  booktitle = {Model Driven Architecture: Foundations and Applications, MDAFA'03
	and MDAFA'04},
  year = {2005},
  volume = {3599},
  series = LNCS,
  pages = {77-92},
  publisher = Springer,
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{Witkop05,
  author = {{Steven Witkop}},
  title = {{MDA users' requirements for QVT transformations}},
  year = {2005},
  note = {{OMG document 05-02-04}}
}

@ARTICLE{S09,
  author = {Stevens, Perdita},
  title = {{Bidirectional model transformations in QVT: semantic issues and
	open questions}},
  journal = {SOSYM},
  year = {2009},
  volume = {8},
  bdsk-url-1 = {http://dx.doi.org/10.1007/s10270-008-0109-9},
  citeulike-article-id = {3779433},
  citeulike-linkout-0 = {http://dx.doi.org/10.1007/s10270-008-0109-9},
  citeulike-linkout-1 = {http://www.springerlink.com/content/226580844t260308},
  doi = {10.1007/s10270-008-0109-9},
  keywords = {2009, \_to\_appear, biderectional, model\_transformation, open\_questions,
	qvt},
  owner = {Romina},
  posted-at = {2008-12-12 22:24:12},
  priority = {3},
  timestamp = {2009.09.25},
  url = {http://dx.doi.org/10.1007/s10270-008-0109-9}
}

@INPROCEEDINGS{Stevens07,
  author = {Perdita Stevens},
  title = {{A Landscape of Bidirectional Model Transformations}},
  booktitle = {GTTSE 2007, Braga, Portugal},
  year = {2008},
  series = {LNCS 5235},
  pages = {408-424},
  publisher = {Springer},
  isbn = {978-3-540-88642-6}
}

@MISC{VSM03,
  author = {Van Der Straeten and Simmonds and Mens},
  title = {{Detecting inconsistencies between UML models using description logic}},
  year = {2003},
  bdsk-url-1 = {citeseer.ist.psu.edu/vanderstraeten03detecting.html},
  url = {citeseer.ist.psu.edu/vanderstraeten03detecting.html}
}

@INPROCEEDINGS{SGSGFB04,
  author = {Greg Straw and Geri Georg and Eunjee Song and Sudipto Ghosh and Robert
	France and James M. Bieman},
  title = {{Model Composition Directives}},
  booktitle = {{UML} 2004 - The Unified Modeling Language. Model Languages and Applications.
	7th International Conference, Lisbon, Portugal, October 11-15, 2004,
	Proceedings},
  year = {2004},
  editor = {Thomas Baar and Alfred Strohmeier and Ana Moreira and Stephen J.
	Mellor},
  volume = {3273},
  series = {LNCS},
  pages = {84--97},
  publisher = {Springer},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@BOOK{SSB01,
  title = {{Java and the Java Virtual Machine: Definition, Verification, Validation}},
  publisher = {Springer-Verlag},
  year = {2001},
  author = {R. St{\"a}rk and J. Schmid and E. B{\"o}rger}
}

@ARTICLE{SN01,
  author = {R. F. St{\"a}rk and S. Nanchen},
  title = {{A logic for Abstract State Machines}},
  journal = JUCS,
  year = {2001},
  volume = {7},
  pages = {981--1006},
  number = {11}
}

@MISC{J2EE,
  author = {Sun},
  title = {{Java Platform, Enterprise Edition}},
  year = {2006},
  note = {http://java.sun.com/javaee/index.jsp},
  owner = {Antonio},
  timestamp = {2007.10.12}
}

@INPROCEEDINGS{AGG,
  author = {G. Taentzer},
  title = {{AGG: A Graph Transformation Environment for Modeling and Validation
	of Software}},
  booktitle = {Int. Workshop on Applications of Graph Transformations with Industrial
	Relevance, AGTIVE 2003},
  year = {2004},
  volume = {3062},
  series = LNCS,
  pages = {446-453},
  month = {July},
  publisher = Springer
}

@INPROCEEDINGS{TEGLLLPVV05,
  author = {G. Taentzer and K. Ehrig and E. Guerra and J. de Lara and L. Lengyel
	and T. Levendovszky and U. Prange and D. Varr{\'o} and S. Varr{\'o}-Gyapay},
  title = {{Model Transformation by Graph Transformation: A Comparative Study}},
  booktitle = {ACM/IEEE 8th International Conference on Model Driven Engineering
	Languages and Systems},
  year = {2005},
  address = {Montego Bay, Jamaica},
  month = oct
}

@ARTICLE{Tai79,
  author = {Kuo-Chung Tai},
  title = {{The Tree-to-Tree Correction Problem}},
  journal = {Journal of the ACM},
  year = {1979},
  volume = {26},
  pages = {422--433},
  number = {3},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/322139.322143},
  doi = {http://doi.acm.org/10.1145/322139.322143},
  issn = {0004-5411},
  owner = {Antonio},
  publisher = {ACM Press},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{TOHS99,
  author = {P. Tarr and H. Ossher and W. Harrison and S.M. Sutton Jr.},
  title = {{N degrees of separation: multi-dimensional separation of concerns}},
  booktitle = {Procs. International Conference on Software Engineering},
  year = {1999},
  pages = {107-119},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@MISC{Struts,
  author = {{The Apache Software Foundation}},
  title = {{Apache Struts Project}},
  note = {http://struts.apache.org/},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{TP05,
  author = {G. Lorenzo Thione and Dewayne E. Perry},
  title = {{Parallel Changes: Detecting Semantic Interferences}},
  booktitle = {COMPSAC},
  year = {2005},
  pages = {47--56},
  publisher = {IEEE Computer Society},
  bibdate = {2006-01-06},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{THHB06,
  author = {Thiran, P. and Hainaut, J.L. and Houben, G.J. and Benslimane, D.},
  title = {Wrapper-based evolution of legacy information systems},
  journal = {ACM Trans. Softw. Eng. Methodol.},
  year = {2006},
  volume = {15},
  pages = {329--359},
  number = {4},
  address = {New York, NY, USA},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1178625.1178626},
  doi = {http://doi.acm.org/10.1145/1178625.1178626},
  issn = {1049-331X},
  publisher = {ACM}
}

@INPROCEEDINGS{FAMIX,
  author = {S. Tichelaar and S. Ducasse and S. Demeyer},
  title = {{FAMIX and XMI}},
  booktitle = {Proceedings WCRE 2000 Workshop on Exchange Formats},
  year = {2000},
  pages = {296-299},
  owner = {Antonio},
  timestamp = {2007.12.18}
}

@MISC{Subversion,
  author = {Tigris.org},
  title = {{Subversion version control system}},
  note = {http://subversion.tigris.org/},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{TCJ10,
  author = {M. Tisi and J. Cabot and F. Jouault},
  title = {Improving higher-order transformations support in ATL},
  booktitle = {Proceedings of the Third international conference on Theory and practice
	of model transformations},
  year = {2010},
  series = {ICMT'10},
  pages = {215--229},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{TK05,
  author = {Juha-Pekka Tolvanen and Steven Kelly},
  title = {{Defining Domain-Specific Modeling Languages to Automate Product
	Derivation: Collected Experiences}},
  booktitle = {SPLC},
  year = {2005},
  volume = {3714},
  series = LNCS,
  pages = {198--209},
  month = oct,
  publisher = Springer
}

@MISC{EMF-Compare,
  author = {A. Toulm\'e},
  title = {{The EMF Compare Utility}},
  howpublished = {\url{http://www.eclipse.org/modeling/emft/}}
}

@ARTICLE{Tratt08,
  author = {L. Tratt},
  title = {{A change propagating model transformation language}},
  journal = {Journal of Object Technology},
  year = {2008},
  volume = {7},
  pages = {107--126},
  number = {3},
  month = {March}
}

@TECHREPORT{Tratt06,
  author = {L. Tratt},
  title = {{A change propagating model transformation language}},
  institution = {Department of Computer Science, King's College London, TR-06-07},
  year = {2006}
}

@ARTICLE{Tratt04,
  author = {L. Tratt},
  title = {{Model transformations and tool integration}},
  journal = SOSYM,
  year = {2005},
  volume = {4},
  pages = {112-122},
  number = {2},
  month = {May}
}

@TECHREPORT{TC03,
  author = {L. Tratt and T. Clark},
  title = {{Issues surrounding model consistency and QVT}},
  institution = {Department of Computer Science, King?s College London},
  year = {2003},
  month = {December},
  note = {TR-03-08},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{TBWK07,
  author = {Christoph Treude and Stefan Berlik and Sven Wenzel and Udo Kelter},
  title = {Difference computation of large models},
  booktitle = {ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European
	software engineering conference and the ACM SIGSOFT symposium on
	The foundations of software engineering},
  year = {2007},
  pages = {295--304},
  address = {New York, NY, USA},
  publisher = {ACM},
  bdsk-url-1 = {http://doi.acm.org/10.1145/1287624.1287665},
  doi = {http://doi.acm.org/10.1145/1287624.1287665},
  isbn = {978-1-59593-811-4},
  location = {Dubrovnik, Croatia}
}

@MISC{SMODELS,
  author = {{University of Helsinki}},
  title = {{SMODELS solver Website}},
  year = {2008},
  note = {http://www.tcs.hut.fi/Software/smodels/}
}

@MISC{SiDiff07,
  author = {University of Siegen, Software Engineering Group},
  title = {The SiDiff Project},
  howpublished = {http://www.sidiff.org/},
  year = {2007}
}

@INPROCEEDINGS{SMV08,
  author = {R. {Van Der Straeten} and T. Mens and S. {Van Baelen}},
  title = {{Challenges in Model-Driven Software Engineering}},
  booktitle = {Workshops and Symposia at MoDELS 2008},
  year = {2008},
  number = {5421},
  series = {LNCS},
  publisher = {Springer}
}

@TECHREPORT{VGMJ06,
  author = {P. {Van Gorp} and O. Muliawan and D. Janssens},
  title = {{Integrating a Declarative with an Imperative Model Transformation
	Language}},
  institution = {Department of Mathematics \& Computer Science, University of Antwerp},
  year = {2006},
  month = {September},
  note = {2006-12},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{PMD05,
  author = {E. {Van Paesschen} and W. {De Meuter} and M. {D'Hondt}},
  title = {{SelfSync: A Dynamic Round-Trip Engineering Environment}},
  booktitle = {Procs of the 8th Int. Conf. on Model Driven Engineering Languages
	and Systems, (MoDELS 2005), Montego Bay, Jamaica, October 2-7},
  year = {2005},
  volume = {3713},
  series = {LNCS},
  pages = {633-647},
  publisher = {Springer}
}

@PHDTHESIS{V04,
  author = {D. Varr{\'o}},
  title = {{Automated Model Transformations for the Analysis of IT Systems}},
  school = {Budapest University of Technology and Economics, Department of Measurement
	and Information Systems},
  year = {2004}
}

@INPROCEEDINGS{VB07,
  author = {D. Varr{\'o} and Z. Balogh},
  title = {Automating model transformation by example using inductive logic
	programming.},
  booktitle = {Proc. of the 2007 ACM Symposium on Applied Computing (SAC), Seoul,
	South Korea},
  year = {2007},
  pages = {978-984},
  publisher = {ACM}
}

@INPROCEEDINGS{VP04,
  author = {D. Varr{\'o} and A. Pataricza},
  title = {{Generic and Meta-Transformations for Model Transformation Engineering}},
  booktitle = {{International Conference on the Unified Modeling Language}},
  year = {2004},
  pages = {290-304}
}

@ARTICLE{VP03,
  author = {D. Varr{\'o} and A. Pataricza},
  title = {{VPM: A visual, precise and multilevel metamodeling framework for
	describing mathematical domains and UML (The Mathematics of Metamodeling
	is Metamodeling Mathematics)}},
  journal = SOSYM,
  year = {2003},
  volume = {2},
  pages = {187--210},
  number = {3},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@ARTICLE{VIATRA2,
  author = {D. Varr{\'o} and G. Varr{\'o} and A. Pataricza},
  title = {Designing the automatic transformation of visual languages},
  journal = {Science of Computer Programming},
  year = {2002},
  volume = {44},
  pages = {205--227},
  number = {2}
}

@INPROCEEDINGS{VV08,
  author = {Vermolen, S. and Visser, E.},
  title = {{Heterogeneous Coupled Evolution of Software Languages}},
  booktitle = {MoDELS '08: Proceedings of the 11th international conference on Model
	Driven Engineering Languages and Systems},
  year = {2008},
  pages = {630--644},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  doi = {http://dx.doi.org/10.1007/978-3-540-87875-9_44},
  isbn = {978-3-540-87874-2},
  location = {Toulouse, France}
}

@TECHREPORT{VGN-Metrics,
  author = {Andres Vignaga},
  title = {Metrics for Measuring ATL Model Transformations},
  institution = {MaTE, Department of Computer Science, Universidad de Chile},
  owner = {Ludovico},
  timestamp = {2010.05.28}
}

@INPROCEEDINGS{WebDSL08,
  author = {E. Visser},
  title = {{WebDSL}: {A} Case Study in Domain-Specific Language Engineering},
  booktitle = {International Summer School on Generative and Transformational Techniques
	in Software Engineering (GTTSE 2007)},
  year = {2008},
  editor = {R. L{\"a}mmel and J. Visser and J. Saraiva},
  volume = {5235},
  series = {LNCS},
  pages = {291--373},
  address = {Heidelberg},
  month = {October},
  publisher = {Springer},
  isbn = {978-3-540-88642-6},
  issn = {0302-9743}
}

@ARTICLE{Visser08,
  author = {Visser, J.},
  title = {{Coupled Transformation of Schemas, Documents, Queries, and Constraints}},
  journal = {Electron. Notes Theor. Comput. Sci.},
  year = {2008},
  volume = {200},
  pages = {3--23},
  number = {3},
  address = {Amsterdam, The Netherlands, The Netherlands},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.entcs.2008.04.090},
  doi = {http://dx.doi.org/10.1016/j.entcs.2008.04.090},
  issn = {1571-0661},
  publisher = {Elsevier Science Publishers B. V.}
}

@MISC{MTL,
  author = {D. Vojtisek and J-M. J\'ez\'equel},
  title = {{MTL and Umlaut NG: Engine and Framework for Model Transformation}},
  note = {http://www.ercim.org/publication/Ercim\_News/enw58/vojtisek.html}
}

@INPROCEEDINGS{Wachsmuth07,
  author = {Guido Wachsmuth},
  title = {{Metamodel Adaptation and Model Co-adaptation}},
  booktitle = {Proceedings of the 21st European Conference on Object-Oriented Programming
	(ECOOP'07)},
  year = {2007},
  editor = {Erik Ernst},
  volume = {4069},
  series = {LNCS},
  month = jul,
  publisher = {Springer-Verlag}
}

@ARTICLE{WF74,
  author = {Robert A. Wagner and Michael J. Fischer},
  title = {{The String-to-String Correction Problem}},
  journal = {Jour. of the ACM},
  year = {1974},
  volume = {21},
  pages = {168--173},
  number = {1},
  address = {New York, NY, USA},
  issn = {0004-5411},
  owner = {Antonio},
  publisher = {ACM Press},
  timestamp = {2007.10.18}
}

@TECHREPORT{Eli,
  author = {H. M. Waite},
  title = {{Beyond LEX and YACC: How to Generate the Whole Compiler}},
  institution = {University of Colorado},
  year = {1993}
}

@MISC{W85,
  author = {L. Wall},
  title = {GNU patch},
  year = {1985},
  note = {\url{http://www.gnu.org/software/patch/patch.html}}
}

@BOOK{WK03,
  title = {{The Object Constraint Language: Getting Your Models Ready for MDA,
	Second Edition}},
  publisher = {Addison Wesley},
  year = {2003},
  author = {J. Warmer and A. Kleppe},
  pages = {240},
  month = {August},
  isbn = {0-321-17936-6}
}

@MISC{WEBRATIO,
  author = {{Web Models}},
  title = {{WebRatio Tool}},
  howpublished = {http://www.webratio.com}
}

@INPROCEEDINGS{Westhuizen02understandingand,
  author = {Christopher Van Der Westhuizen and Andr\'{e} Van Der Hoek},
  title = {Understanding and Propagating Architectural Changes},
  booktitle = {Proceedings of the Working IFIP Conference on Software Architecture},
  year = {2002},
  pages = {95--109},
  publisher = {IEEE Computer Society Press},
  owner = {Romina},
  timestamp = {2011.01.28}
}

@INPROCEEDINGS{Whitehead07,
  author = {Jim Whitehead},
  title = {Collaboration in Software Engineering: A Roadmap},
  booktitle = {FOSE '07: 2007 Future of Software Engineering},
  year = {2007},
  pages = {214--225},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/FOSE.2007.4},
  doi = {http://dx.doi.org/10.1109/FOSE.2007.4},
  isbn = {0-7695-2829-5}
}

@MISC{rcs,
  author = {{Wikipedia}},
  title = {{Revision Control Systems comparison page}},
  howpublished = {{http://en.wikipedia.org/wiki/Comparison\_of\_revision\_control\_software}},
  year = {2007},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@INPROCEEDINGS{Wile97,
  author = {Wile, David S.},
  title = {Abstract syntax from concrete syntax},
  booktitle = {Proceedings of the 19th international conference on Software engineering},
  year = {1997},
  series = {ICSE '97},
  pages = {472--480},
  address = {New York, NY, USA},
  publisher = {ACM},
  acmid = {253388},
  bdsk-url-1 = {http://doi.acm.org/10.1145/253228.253388},
  date-modified = {2011-03-30 16:25:18 +0200},
  doi = {http://doi.acm.org/10.1145/253228.253388},
  isbn = {0-89791-914-9},
  keywords = {abstract syntax, concrete syntax, domain-specific languages, grammars,
	object-oriented models, program transformation, reverse engineering},
  location = {Boston, Massachusetts, United States},
  numpages = {9},
  url = {http://doi.acm.org/10.1145/253228.253388}
}

@INPROCEEDINGS{WSKK07,
  author = {Wimmer and Strommer and Kargl and Kramler},
  title = {{Towards Model Transformation Generation By-Example}},
  booktitle = {Procs of the 40th Annual Hawaii Int. Conf. on System Sciences (HICSS
	'07), Hawaii},
  year = {2007},
  pages = {285b},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  bdsk-url-1 = {http://dx.doi.org/10.1109/HICSS.2007.572},
  doi = {http://dx.doi.org/10.1109/HICSS.2007.572},
  isbn = {0-7695-2755-8}
}

@PHDTHESIS{W01,
  author = {K. Winter},
  title = {{Model checking Abstract State Machines}},
  school = {Technical Universisty Berlin},
  year = {2001}
}

@BOOK{Z,
  title = {{Using {Z}. Specification, Refinement, and Proof}},
  publisher = {Prentice Hall},
  year = {1995},
  author = {J. Woodcock and J. Davies},
  address = {London},
  descriptor = {Proof Theory, Refinement, Spezifikation, Z},
  isbn = {0-13-948472-8}
}

@INPROCEEDINGS{WFP07,
  author = {Woodside, Murray and Franks, Greg and Petriu, Dorina C.},
  title = {The Future of Software Performance Engineering},
  booktitle = {2007 Future of Software Engineering},
  year = {2007},
  series = {FOSE '07},
  pages = {171--187},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  acmid = {1254717},
  bdsk-url-1 = {http://dx.doi.org/10.1109/FOSE.2007.32},
  doi = {http://dx.doi.org/10.1109/FOSE.2007.32},
  isbn = {0-7695-2829-5},
  numpages = {17},
  owner = {Romina},
  timestamp = {2012.01.23},
  url = {http://dx.doi.org/10.1109/FOSE.2007.32}
}

@MISC{OWL,
  author = {{World Wide Web Consortium (W3C)}},
  title = {{Web Ontology Language (OWL)}},
  note = {http://www.w3.org/2004/OWL}
}

@INPROCEEDINGS{WD08,
  author = {J. Wright and J. Dietrich},
  title = {Survey of existing languages to model interactive web applications},
  booktitle = {APCCM '08: Procs of the fifth on Asia-Pacific Conf. on Conceptual
	Modelling},
  year = {2008},
  pages = {113--123},
  publisher = {Australian Computer Society, Inc.}
}

@MISC{XMF,
  author = {Xactium},
  title = {{Xmf-mosaic}},
  note = {http://xactium.com}
}

@INPROCEEDINGS{XS05,
  author = {Z. Xing and E. Stroulia},
  title = {{UMLDiff: an algorithm for object-oriented design differencing}},
  booktitle = {20th IEEE/ACM ASE},
  year = {2005},
  pages = {54-65},
  publisher = {ACM},
  owner = {Antonio},
  timestamp = {2007.10.05}
}

@INPROCEEDINGS{XLHZTM07,
  author = {Yingfei Xiong and Dongxi Liu and Zhenjiang Hu and Haiyan Zhao and
	Masato Takeichi and Hong Mei},
  title = {{Towards Automatic Model Synchronization from Model Transformations}},
  booktitle = {Procs. of the 22nd IEEE/ACM Intl. Conf. on Automated Software Engineering
	(ASE'07), Atlanta, Georgia},
  year = {2007},
  pages = {164--173},
  month = {November},
  note = {to appear}
}

@INPROCEEDINGS{XSHT09,
  author = {Yingfei Xiong and Hui Song and Zhenjiang Hu and Masato Takeichi},
  title = {Supporting Parallel Updates with Bidirectional Model Transformations},
  booktitle = {ICMT 2009},
  year = {2009},
  owner = {Romina},
  timestamp = {2009.09.27}
}

@INPROCEEDINGS{DXCEHO11,
  author = {Zinovy Diskin Yingfei Xiong and Krzysztof Czarnecki and Hartmut Ehrig
	and Frank Hermann and Fernando Orejas},
  title = {From State- to Delta-Based Bidirectional Model Transformations: The
	Symmetric Case},
  booktitle = {Procs of the 14th Int. Conf. on Model Driven Engineering Languages
	and Systems, MODELS 2011, Wellington (New Zealand)},
  year = {2011},
  editor = {Jon Whittle and Tony Clark and Thomas K{\"u}hne},
  volume = {6981},
  series = {LNCS},
  pages = {304-318},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-642-24485-8_22},
  isbn = {978-3-642-24484-1}
}

@INPROCEEDINGS{YTL06,
  author = {Yahiaoui and Traverson and Levy},
  title = {{A new viewpoint for change management in RM-ODP systems}},
  year = {2005}
}

@INPROCEEDINGS{ODP-correspondences-wcat05,
  author = {Nesrine Yahiaoui and Bruno Traverson and Nicole Levy},
  title = {Adaptation management in multi-view systems},
  booktitle = {Proc. of {WCAT}'05},
  year = {2005},
  pages = {99--105},
  address = {Glasgow, Scotland, UK},
  month = jul
}

@ARTICLE{ZS89,
  author = {K. Zhang and D. Shasha},
  title = {Simple fast algorithms for the editing distance between trees and
	related problems},
  journal = {SIAM Journal of Computing},
  year = {1989},
  volume = {18},
  pages = {1245--1262},
  number = {6},
  address = {Philadelphia, PA, USA},
  bdsk-url-1 = {http://dx.doi.org/10.1137/0218082},
  doi = {http://dx.doi.org/10.1137/0218082},
  issn = {0097-5397},
  owner = {Antonio},
  publisher = {Society for Industrial and Applied Mathematics},
  timestamp = {2007.10.17}
}

@ARTICLE{ZYXX02,
  author = {Zhao, Jianjun and Yang, Hongji and Xiang, Liming and Xu, Baowen},
  title = {Change impact analysis to support architectural evolution},
  journal = {Journal of Software Maintenance and Evolution: Research and Practice},
  year = {2002},
  volume = {14},
  pages = {317--333},
  number = {5},
  bdsk-url-1 = {http://portal.acm.org/citation.cfm?id=771448},
  bdsk-url-2 = {http://dx.doi.org/10.1002/smr.258},
  doi = {10.1002/smr.258},
  keywords = {architecture, dynamic-impact-analysis, evolution, software, software-architecture,
	software-engineering, software-evolution},
  posted-at = {2007-10-29 20:04:48},
  priority = {4},
  url = {http://portal.acm.org/citation.cfm?id=771448}
}

@INPROCEEDINGS{ZWR01,
  author = {A. Z{\"u}ndorf and J. P. Wadsack and I. Rockel},
  title = {Merging graph-like object structures},
  booktitle = {Procs. of the 10th Int. Workshop on Software Configuration Management
	(SCM-10), Toronto (Canada)},
  year = {2001},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@BOOK{LB85,
  title = {Program evolution: processes of software change},
  publisher = {Academic Press Professional, Inc.},
  year = {1985},
  editor = {M. M. Lehman and L. A. Belady},
  address = {San Diego, CA, USA},
  isbn = {0-12-442440-6}
}

@PROCEEDINGS{ROSATEA2006,
  title = {{ROSATEA 2006: The Role Of Software Architecture in Testing and Analysis}},
  year = {2006},
  editor = {Henry Muccini and Rob Hierons},
  publisher = {ACM Digital Library},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MANUAL{Aleph,
  title = {The Aleph Manual},
  bdsk-url-1 = {http://web.comlab.ox.ac.uk/oucl/research/areas/%20machlearn/Aleph/.},
  owner = {Romina},
  url = {http://web.comlab.ox.ac.uk/oucl/research/areas/ machlearn/Aleph/.}
}

@MISC{bzr,
  title = {{Bazaar - Version Control for Human Beings}},
  note = {http://bazaar-vcs.org/},
  owner = {Antonio},
  timestamp = {2008.01.31}
}

@MISC{CharmyWeb,
  title = {{CHARMY} {P}roject. {C}harmy {W}eb {S}ite},
  howpublished = {http://www.di.univaq.it/charmy},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{GASM,
  title = {{The ASM Michigan Webpage}},
  note = {http://www.eecs.umich.edu/gasm/}
}

@MISC{git,
  title = {{Git - Fast Version Control System}},
  note = {http://git.or.cz/},
  owner = {Antonio},
  timestamp = {2008.01.31}
}

@MISC{VIATRA2GMT,
  title = {{The VIATRA2 Model Transformation Framework}},
  note = {{http://www.eclipse.org/gmt}}
}

@MISC{xArch,
  title = {{xArch}},
  howpublished = {http://www.isr.uci.edu/architecture/xarch/},
  note = {{Proposed by the University of California, Irvine}}
}

@MISC{Acme,
  title = {{Acme}},
  howpublished = {http://www-2.cs.cmu.edu/$\sim$acme/},
  year = {Since: 1998},
  note = {{Carnegie Mellon University}}
}

@MISC{egroupware,
  title = {{eGroupWare Project}},
  howpublished = {www.egroupware.org/},
  year = {accessed on 2007},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{gforge,
  title = {{GForge Project}},
  howpublished = {gforge.org/},
  year = {accessed on 2007},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{sourceforge,
  title = {{SourgeForge Project}},
  howpublished = {sourceforge.net/},
  year = {accessed on 2007},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MISC{DIP-HOT,
  title = {{High order transformation to co-evolve transformations}},
  howpublished = {\url{http://www.emfmigrate.org/wp-content/uploads/2011/05/hots.zip}},
  year = {2010},
  bdsk-url-1 = {http://www.emfmigrate.org/atlmigrate/hots.zip},
  date-added = {2011-03-31 10:01:41 +0200},
  date-modified = {2011-10-03 11:11:23 +0000},
  url = {http://www.emfmigrate.org/atlmigrate/hots.zip}
}

@TECHREPORT{UMLMarte,
  title = {{UML Profile for MARTE}},
  institution = {Object Management Group (OMG)},
  year = {2008},
  owner = {Romina},
  posted-at = {2008-06-09 12:30:55},
  priority = {1},
  timestamp = {2012.01.18}
}

@MANUAL{ISO-UMLODP,
  title = {Information technology -- Open Distributed Processing -- Open Distributed
	Processing - Use of UML for ODP system specifications},
  year = {2007},
  note = {ISO/IEC 19793:2007},
  bdsk-url-1 = {http://www.iso.org},
  key = {ISO},
  url = {http://www.iso.org}
}

@MISC{Mancoosi07,
  title = {{Managing the Complexity of the Open Source Infrastructure (MANCOOSI)}},
  year = {2007},
  note = {http://mancoosi.org/},
  owner = {Antonio},
  timestamp = {2007.10.15}
}

@MISC{POSEIDON,
  title = {{Poseidon for UML}},
  year = {2005},
  note = {{http://www.gentleware.com}}
}

@TECHREPORT{UML20sup,
  title = {{UML 2.0 Superstructure Specification}},
  institution = {Object Management Group (OMG)},
  year = {2005},
  month = aug,
  citeulike-article-id = {2805098},
  owner = {Romina},
  posted-at = {2008-05-16 12:30:55},
  priority = {1},
  timestamp = {2012.01.18}
}

@BOOK{FormalSAbook,
  title = {{Formal Methods for Software Architectures.}},
  publisher = {Tutorial book on Software Architectures and formal methods. In SFM-03:SA
	Lectures, Eds. M. Bernardo and P. Inverardi, LNCS 2804},
  year = {2003},
  owner = {Antonio},
  timestamp = {2007.10.17}
}

@MANUAL{ISO-RMODP498,
  title = {Information technology -- Open Distributed Processing -- Reference
	model: Architectural semantics},
  year = {1998},
  note = {ISO/IEC 10746-4:1998(E)},
  bdsk-url-1 = {http://www.iso.org},
  key = {ISO},
  url = {http://www.iso.org}
}

@MANUAL{ISO-RMODP98,
  title = {Information technology -- Open Distributed Processing -- Reference
	model: Overview},
  year = {1998},
  note = {ISO/IEC 10746-1:1998(E)},
  bdsk-url-1 = {http://www.iso.org},
  key = {ISO},
  url = {http://www.iso.org}
}

@MANUAL{ISO-RMODP296,
  title = {Information technology -- Open Distributed Processing -- Reference
	model: Foundations},
  year = {1996},
  note = {ISO/IEC 10746-2:1996(E)},
  bdsk-url-1 = {http://www.iso.org},
  key = {ISO},
  url = {http://www.iso.org}
}

@MANUAL{ISO-RMODP396,
  title = {Information technology -- Open Distributed Processing -- Reference
	model: Architecture},
  year = {1996},
  note = {ISO/IEC 10746-3:1996(E)},
  bdsk-url-1 = {http://www.iso.org},
  key = {ISO},
  url = {http://www.iso.org}
}

@ARTICLE{IEEEGlossary90,
  title = {IEEE Standard Glossary of Software Engineering Terminology},
  journal = {IEEE Std 610.12-1990},
  year = {1990},
  date-added = {2012-02-17 10:01:39 +0100},
  date-modified = {2012-02-17 10:03:21 +0100}
}

@inproceedings{FSC12,
  author    = {Michalis Famelis and
               Rick Salay and
               Marsha Chechik},
  title     = {Partial models: Towards modeling and reasoning with uncertainty},
  booktitle = {ICSE},
  year      = {2012},
  pages     = {573-583},
  ee        = {http://dx.doi.org/10.1109/ICSE.2012.6227159}
}

@article{SCHD13,
  author    = {Rick Salay and
               Marsha Chechik and
               Jennifer Horkoff and
               Alessio Di Sandro},
  title     = {Managing requirements uncertainty with partial models},
  journal   = {Requir. Eng.},
  volume    = {18},
  number    = {2},
  year      = {2013},
  pages     = {107-128},
  ee        = {http://dx.doi.org/10.1007/s00766-013-0170-y},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SHL10,
  author    = {Bernhard Sch{\"a}tz and
               Florian H{\"o}lzl and
               Torbj{\"o}rn Lundkvist},
  title     = {Design-Space Exploration through Constraint-Based Model-Transformation},
  booktitle = {ECBS},
  year      = {2010},
  pages     = {173-182},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2010.25}
}

@inproceedings{AC06,
 author = {Antkiewicz, Micha\l and Czarnecki, Krzysztof},
 title = {Framework-Specific Modeling Languages with Round-trip Engineering},
 booktitle = {Proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems},
 series = {MoDELS'06},
 year = {2006},
 isbn = {3-540-45772-0, 978-3-540-45772-5},
 location = {Genova, Italy},
 pages = {692--706},
 numpages = {15},
 url = {http://dx.doi.org/10.1007/11880240_48},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{MC13,
  author = {Macedo, Nuno and Cunha, Alcino},
  booktitle = {FASE},
  ee = {http://dx.doi.org/10.1007/978-3-642-37057-1_22},
  isbn = {978-3-642-37056-4},
  pages = {297-311},
  publisher = {Springer},
  series = {LNCS},
  timestamp = {2013-02-18T00:00:00.000+0100},
  title = {Implementing QVT-R Bidirectional Model Transformations Using Alloy.},
  url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#MacedoC13},
  volume = 7793,
  year = 2013
}

@book{J12,
 author = {Jackson, Daniel},
 title = {Software Abstractions: Logic, Language, and Analysis},
 year = {2012},
 isbn = {0262017156, 9780262017152},
 publisher = {The MIT Press},
} 

@article{M09,
author = {Daniel L. Moody},
title = {The "Physics" of Notations: Toward a Scientific Basis for Constructing Visual Notations in Software Engineering},
journal ={IEEE Transactions on Software Engineering},
volume = {35},
number = {6},
issn = {0098-5589},
year = {2009},
pages = {756-779},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2009.67},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

@article{JH87,
  author = {Larkin, Jill H. and Simon, Herbert A.},
  biburl = {http://www.bibsonomy.org/bibtex/25cf00b631719badf1339596af8dace44/acslab},
  citeulike-article-id = {382002},
  journal = {Cognitive Science},
  keywords = {diagrammatic-reasoning representations},
  number = 1,
  pages = {65--100},
  priority = {2},
  title = {Why a Diagram is (Sometimes) Worth Ten Thousand Words},
  url = {http://www.sciencedirect.com/science/article/B6W48-4FW6JX3-4/2/9f39ec088401118e1fff1f847412dbe0},
  volume = 11,
  year = 1987
}

@incollection{MD08,
  author = {Mens, Tom},
  biburl = {http://www.bibsonomy.org/bibtex/2c9a6c4472a23111e7b61de1d1b8e9cb3/dblp},
  booktitle = {Software Evolution},
  date = {2008-12-09},
  description = {dblp},
  editor = {Mens, Tom and Demeyer, Serge},
  ee = {http://dx.doi.org/10.1007/978-3-540-76440-3_1},
  isbn = {978-3-540-76439-7},
  keywords = {dblp},
  pages = {1-11},
  publisher = {Springer},
  timestamp = {2008-12-09T00:00:00.000+0100},
  title = {Introduction and Roadmap: History and Challenges of Software Evolution.},
  url = {http://dblp.uni-trier.de/db/series/springer/Mens2008.html#Mens08},
  year = 2008
}

@inproceedings{SGC13,
  added-at = {2013-02-18T00:00:00.000+0100},
  author = {Salay, Rick and Gorzny, Jan and Chechik, Marsha},
  biburl = {http://www.bibsonomy.org/bibtex/283c55357663fc9af38ec8abd7eb6ea01/dblp},
  booktitle = {FASE},
  ee = {http://dx.doi.org/10.1007/978-3-642-37057-1_3},
  isbn = {978-3-642-37056-4},
  keywords = {dblp},
  pages = {21-36},
  publisher = {Springer},
  series = {LNCS},
  timestamp = {2013-02-18T00:00:00.000+0100},
  title = {Change Propagation due to Uncertainty Change.},
  url = {http://dblp.uni-trier.de/db/conf/fase/fase2013.html#SalayGC13},
  volume = 7793,
  year = 2013
}

@inproceedings{FSSC13,
  author    = {Michalis Famelis and
               Rick Salay and
               Alessio Di Sandro and
               Marsha Chechik},
  title     = {Transformation of Models Containing Uncertainty},
  booktitle = {MoDELS},
  year      = {2013},
  pages     = {673-689},
  ee        = {http://dx.doi.org/10.1007/978-3-642-41533-3_41},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SFC12,
  author    = {Rick Salay and
               Michalis Famelis and
               Marsha Chechik},
  title     = {Language Independent Refinement Using Partial Modeling},
  booktitle = {FASE},
  year      = {2012},
  pages     = {224-239},
  ee        = {http://dx.doi.org/10.1007/978-3-642-28872-2_16},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SBWLF10,
  added-at = {2011-02-24T00:00:00.000+0100},
  author = {Sawyer, Peter and Bencomo, Nelly and Whittle, Jon and Letier, Emmanuel and Finkelstein, Anthony},
  biburl = {http://www.bibsonomy.org/bibtex/2bee960fc9fac88a799b9eaf7f29f157c/dblp},
  booktitle = {RE},
  ee = {http://dx.doi.org/10.1109/RE.2010.21},
  isbn = {978-0-7695-4162-4},
  keywords = {dblp},
  pages = {95-103},
  publisher = {IEEE},
  timestamp = {2011-02-24T00:00:00.000+0100},
  title = {Requirements-Aware Systems: A Research Agenda for RE for Self-adaptive Systems.},
  url = {http://dblp.uni-trier.de/db/conf/re/re2010.html#SawyerBWLF10},
  year = 2010
}

@inproceedings{IFED09,
  added-at = {2009-11-02T00:00:00.000+0100},
  author = {Ibrahim, Hamdy and Far, Behrouz Homayoun and Eberlein, Armin and Daradkeh, Y.},
  biburl = {http://www.bibsonomy.org/bibtex/221684d47f364839a46fc19f049977a4a/dblp},
  booktitle = {CCECE},
  date = {2009-11-02},
  description = {dblp},
  ee = {http://dx.doi.org/10.1109/CCECE.2009.5090081},
  keywords = {dblp},
  pages = {7-12},
  publisher = {IEEE},
  timestamp = {2009-11-02T00:00:00.000+0100},
  title = {Uncertainty management in software engineering: Past, present, and future.},
  url = {http://dblp.uni-trier.de/db/conf/ccece/ccece2009.html#IbrahimFED09},
  year = 2009
}

@inproceedings{EM05,
  author = {Ebert, Christof and Man, Jozef De},
  booktitle = { Procs. of ICSE},
  citeulike-article-id = {321639},
  description = {sdasda},
  doi = {10.1145/1062455.1062554},
  isbn = {1595939632},
  keywords = {uncertainty requirements},
  pages = {553--560},
  priority = {0},
  publisher = {ACM Press},
  timestamp = {2006-03-24T16:34:33.000+0100},
  title = {Requirements uncertainty: influencing factors and concrete improvements},
  url = {http://dx.doi.org/10.1145/1062455.1062554},
  year = 2005
}

@inproceedings{FBSCS11,
 author = {Famelis, Michalis and Ben-David, Shoham and Chechik, Marsha and Salay, Rick},
 title = {Partial Models: A Position Paper},
 booktitle = {Procs of MoDeVVa},
 series = {MoDeVVa},
 year = {2011},
 isbn = {978-1-4503-0914-1},
 location = {Wellington, New Zealand},
 pages = {1:1--1:4},
 articleno = {1},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/2095654.2095656},
 doi = {10.1145/2095654.2095656},
 acmid = {2095656},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@MISC{ZRK96,
    author = {Hadar Ziv and Debra J. Richardson and René Klösch},
    title = {The Uncertainty Principle in Software Engineering},
    year = {1996}
}

@book{VL09,
  author    = {Axel van Lamsweerde},
  title     = {Requirements Engineering - From System Goals to UML Models
               to Software Specifications},
  publisher = {Wiley},
  year      = {2009},
  isbn      = {978-0-470-01270-3},
  ee        = {http://eu.wiley.com/WileyCDA/WileyTitle/productCd-EHEP000863.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@MISC{SNCE10,
    author = {Mehrdad Sabetzadeh and Shiva Nejati and Marsha Chechik and Steve Easterbrook},
    title = {Reasoning about Consistency in Model Merging},
    year = {2010}
}

@inproceedings{FS13,
 author = {Michalis Famelis and Stephanie Santosa},
 title = {MAV-Vis: A Notation for Model Uncertainty},
 booktitle = {MiSE},
 year = {2013}
} 

@inproceedings{SCRS05,
  added-at = {2005-11-29T00:00:00.000+0100},
  author = {Sillitti, Alberto and Ceschi, Martina and Russo, Barbara and Succi, Giancarlo},
  biburl = {http://www.bibsonomy.org/bibtex/27841b29cb77e592fb00a1bf4569a6c00/dblp},
  booktitle = {IEEE METRICS},
  date = {2005-11-29},
  description = {dblp},
  ee = {http://doi.ieeecomputersociety.org/10.1109/METRICS.2005.29},
  interhash = {8493a14533b4f853b41a5dc5cceb7ed4},
  intrahash = {7841b29cb77e592fb00a1bf4569a6c00},
  isbn = {0-7695-2371-4},
  keywords = {dblp},
  pages = 17,
  publisher = {IEEE Computer Society},
  timestamp = {2005-11-29T00:00:00.000+0100},
  title = {Managing Uncertainty in Requirements: A Survey in Documentation-Driven and Agile Companies.},
  url = {http://dblp.uni-trier.de/db/conf/metrics/metrics2005.html#SillittiCRS05},
  year = 2005
}


@inproceedings{EPR2014,
  author    = {Romina Eramo and
               Alfonso Pierantonio and
               Gianni Rosa},
  title     = {6th international workshop on modeling in software engineering
               (MiSE 2014)},
  booktitle = {ICSE},
  year      = {2014}
}

